Patrick Blackburn - Böcker

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspecti...

Läs mer »

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for ...

Läs mer »

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for ...

Läs mer »

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for ...

Läs mer »

The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with huma...

Läs mer »

The papers in this book apply mathematical and logical methods to the description of linguistic structures. Such descriptions are useful for a variety of purposes. For example, they make it easier to design and debug software for dealing with huma...

Läs mer »

With the rise of the "information age" has come a prominence of information as a research concept. There is an increased appreciation of the intertwining nature of fields such as logic, linguistics and computer science that help to answe...

Läs mer »

With the rise of the "information age" has come a prominence of information as a research concept. There is an increased appreciation of the intertwining nature of fields such as logic, linguistics and computer science that help to answe...

Läs mer »

How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions...

Läs mer »

How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions...

Läs mer »

O Prolog é uma linguagem de programação, mas uma linguagem pouco usual. A designação "Prolog'' é abreviatura de "Programming with Logic'' e a relação com a lógica é o que dá ao Prolog o seu perfil especial. No seu âmago está uma ideia su...

Läs mer »

Prolog est un langage de programmation tout fait original. Prolog est l'abrviation de Programmation logique, et le lien qu'il entretient avec la logique est ce qui lui donne sa spcificit. Au coeur de Prolog, rside une ide surprenante : ne pas dire...

Läs mer »

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were pres...

Läs mer »

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and representation. The conference at which the papers in this volume were pres...

Läs mer »

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congr...

Läs mer »

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congr...

Läs mer »

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were car...

Läs mer »

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were car...

Läs mer »

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book we...

Läs mer »

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book wer...

Läs mer »