Product Description: Cupid Missed is the story of a breakup, told from a manâs perspective. Matthew is crushed when he returns home from work one night to find that his girlfriend, Kate, has moved out. He hadnât seen it coming, and he isnât handling it very well...read more

Product Description: Here are the refereed proceedings of the 6th International and Interdisciplinary Conference on Modeling and Using Context. The 42 papers deal with the interdisciplinary topic of modeling and using context from various perspectives, including computer science, artificial intelligence, cognitive science, linguistics, organizational science, philosophy, and psychology...read more

9783540742548 | Springer-Verlag New York Inc, September 14, 2007, cover price $149.00 | About this edition: Here are the refereed proceedings of the 6th International and Interdisciplinary Conference on Modeling and Using Context.

Product Description: 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 perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed...read more

9780444516909 | Elsevier Science Ltd, December 11, 2006, cover price $310.00 | About this edition: 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.

Product Description: 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, and this volume is the first textbook wholly devoted to this growing subdiscipline...read more

9781575864952 | Stanford Univ Center for the Study, April 6, 2005, cover price $70.00 | About this edition: How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage?

Paperback:

9781575864969 | Stanford Univ Center for the Study, April 6, 2005, cover price $30.00 | About this edition: How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage?

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered. (view table of contents)

9780521802000 | Cambridge Univ Pr, July 1, 2001, cover price $99.99 | About this edition: This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Product Description: 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 human languages...read more (view table of contents, read Amazon.com's description)

9781575860855 | Stanford Univ Center for the Study, June 1, 1997, cover price $70.00 | About this edition: The papers in this book apply mathematical and logical methods to the description of linguistic structures.

Product Description: 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 human languages...read more

9781575860848 | Stanford Univ Center for the Study, June 1, 1997, cover price $30.00 | About this edition: The papers in this book apply mathematical and logical methods to the description of linguistic structures.