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