| Logic in Grammar: Polarity, Free Choice, and Intervention |
Gennaro Chierchia |
Thomas Grano |
2021-12-01 |
| The Science of Meaning: Essays on the Metatheory of Natural Language Semantics |
Derek Ball |
Giosué Baggio |
2021-12-01 |
| The Science of Meaning: Essays on the Metatheory of Natural Language Semantics |
Derek Ball |
Giosuè Baggio |
2021-12-01 |
| Logic in Grammar: Polarity, Free Choice, and Intervention |
Gennaro Chierchia |
Thomas Grano |
2021-09-01 |
| New Essays on the Knowability Paradox |
Joe Salerno |
Mark Jago |
2010-07-01 |
| Computation Engineering: Applied Automata Theory and Logic |
Ganesh Gopalakrishnan |
Hans-Jörg Tiede |
2008-03-01 |
| Logic in Computer Science: Modelling and Reasoning about Systems (2nd Edition) |
Michael Huth |
Valentin Goranko |
2007-12-01 |
| A Semantic Web Primer |
Grigoris Antoniou |
Peter F Patel-Scheider |
2007-06-01 |
| Elements of Finite Model Theory |
Leonid Libkin |
Scott Weinstein |
2007-03-01 |
| The Haskell Road to Logic, Maths and Programming Texts in Computing Series |
Kees Doets |
Ralf Lämmel |
2007-03-01 |
| On the Logic and Learning of Language |
Sean A Fulop |
John Hale |
2007-03-01 |
| A Modern Perspective on Type Theory -- From Its Origins until Today |
Fairouz Kamareddine |
H C M De Swart |
2006-09-01 |
| Essentials of Constraint Programming |
T Frühwirth |
Rosella Gennari |
2005-12-01 |
| Reasoning and Unification over Conceptual Graphs |
D Corbett |
Gilad Mishne |
2005-12-01 |
| Conceptual Spaces: The Geometry of Thought |
Peter Gärdenfors |
Joost Kircz |
2005-09-01 |
| Handbook for Language Engineers |
Ali Farghaly |
Piek Vossen |
2005-09-01 |
| Interrogative Investigations: The Form, Meaning and Use of English Interrogatives |
Jonathan Ginzburg |
Rani Nelken |
2005-09-01 |
| Semantics in Generative Grammar |
Irene Heim |
Jennifer Spenader |
2005-09-01 |
| Data Oriented Parsing |
Rens Bod |
Helmut Schmid |
2005-09-01 |
| Handbook of Formal Languages, Vols. 1-3 |
Grzegorz Rozenberg |
Gabriel Infante-Lopez |
2005-09-01 |
| Word Sense Disambiguation: The Case for Combinations of Knowledge Sources |
Mark Stevenson |
Paul Buitelaar |
2005-03-01 |
| Relationale Grammatik |
Michael Böttner |
Gerhard Jäger |
2004-09-01 |
| The Syntactic Process: Language, Speech, and Communication |
Mark Steedman |
Raffaella Bernardi |
2004-09-01 |
| Language Modeling for Information Retrieval |
W Bruce Croft |
Börkur Sigurbjörnsson |
2004-09-01 |
| Computational Approaches to Language Acquisition (Cognition: Special Issue) |
Michael R Brent |
Makoto Kanazawa |
2004-06-01 |
| Agency and Deontic Logic |
John F Horty |
Heinrich Wansing |
2004-06-01 |
| Open-Domain Question Answering from Large Text Collection (CSLI Studies in Computational Linguistics) |
Marius Pasca |
Jochen L Leidner |
2004-06-01 |
| Handbook of Tableau Methods |
Marcello D'Agostino |
Maarten De Rijke |
2001-09-01 |
| Introduction to Natural Language Semantics |
Henriëtte De Swart |
Thomas Ede Zimmermann |
2001-09-01 |
| Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 |
Dov M Gabbay |
Ulrich Hustadt |
2001-06-01 |
| Parts and Places: The Structures of Spatial Representation |
Robert Casati |
Marco Aiello |
2001-03-01 |
| The Syntactic Phenomena of English (Second Edition) |
James D McCawley |
Ivana Kruijff-Korbayová |
2001-03-01 |
| The Human Semantic Potential: Spatial Language and Constrained Connectionism |
Terry Regier |
Keith Stenning |
2001-03-01 |
| Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law |
Henry Prakken |
L M M Royakkers |
2000-07-01 |
| Displaying Modal Logic |
Heinrich Wansing |
Rajeev Goré |
2000-04-01 |
| Handbook of Logic and Language |
Johan Van Benthem |
Natasha Kurtonina |
2000-04-01 |
| Nonmonotonic Reasoning |
Grigoris Antoniou |
Wiebe Van der Hoek |
2000-01-01 |
| Multi-Dimensional Modal Logic (Applied Logic Series, Volume 4) |
Maarten Marx |
Michael Zakharyaschev |
2000-01-01 |
| Effective Logic Computation |
Klaus Truemper |
Lex Hendriks |
1999-10-01 |
| The Classical Decision Problem |
Egon Börger |
Maarten Marx |
1999-10-01 |
| Basic Simple Type Theory |
J Roger Hindley |
Hans-Joerg Tiede |
1999-10-01 |
| Reasoning about Knowledge |
Ronald Fagin |
Valentin Goranko |
1999-10-01 |
| Logical Reasoning with Diagrams |
Gerard Allwein |
Maarten De Rijke |
1999-07-01 |
| Information Flow: The Logic of Distributed Systems |
Jon Barwise |
David &, Van Bentham, Johann Israel |
1999-07-01 |
