Søkt på: Bøker av Patrick Blackburn
totalt 19 treff
Modeling and Using Context
Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understand the role that context and contextual information plays in reasoning and …
Representation and Inference for Natural Language
How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational …
Aprenda PROLOG Ja!
Logic, Language and Computation, Volume 3
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 …
Handbook of Modal Logic
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 …
Modal Logic
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 …
Ladies Please Don't Touch The Dragon
Logic, Rationality, and Interaction
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 …
Modeling and Using Context
This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in …
Logic, Rationality, and Interaction
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 …
Tools for Teaching Logic
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 …
Modal Logic
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 …