default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 9
Volume 9, Number 1, January 2000
- Daniele Mundici:
Foreword: Logics of Uncertainty. 1-3 - Stefano Aguzzoli, Agata Ciabattoni
:
Finiteness in Infinite-Valued Lukasiewicz Logic. 5-29 - A. D. C. Bennett, Jeff B. Paris, Alena Vencovská:
A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning. 31-63 - Didier Dubois, Petr Hájek, Henri Prade:
Knowledge-Driven versus Data-Driven Logics. 65-89 - Franco Montagna:
An Algebraic Approach to Propositional Fuzzy Logic. 91-124 - Wiebe van der Hoek:
Nonmonotonic Reasoning, Grigoris Antoniou. 125-128 - Michael Zakharyaschev:
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. 128-131 - Rohit Parikh:
Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim. 131-132
Volume 9, Number 2, April 2000
- Elisabet Engdahl:
Editorial: Is JoLLI a Journal for Linguists? 141-142 - C. F. M. Vermeulen:
Variables as Stacks. 143-167 - Joost Zwarts, Yoad Winter:
Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions. 169-211 - Stéphane Demri, Rajeev Goré:
Display Calculi for Logics with Relative Accessibility Relations. 213-236 - Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema:
Refined Epistemic Entrenchment. 237-259 - Lawrence S. Moss:
Exploring Logical Dynamics, Johan van Benthem. 261-263 - Natasha Kurtonina:
Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds. 263-269 - Rajeev Goré:
Displaying Modal Logic, Heinrich Wansing. 269-272
Volume 9, Number 3, July 2000
- C. F. M. Vermeulen:
Text Structure and Proof Structure. 273-311 - Claire Gardent:
Deaccenting and Higher-Order Unification. 313-338 - Wojciech Zielonka:
Cut-Rule Axiomatization of the Syntactic Calculus NL0. 339-352 - Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema:
Infobase Change: A First Approximation. 353-377 - Lambèr M. M. Royakkers:
Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. 379-387
Volume 9, Number 4, October 2000
- Varol Akman, Patrick Blackburn:
Editorial: Alan Turing and Artificial Intelligence. 391-395 - Selmer Bringsjord, Clarke Caporale, Ron Noel:
Animals, Zombanimals, and the Total Turing Test. 397-418 - Bruce Edmonds:
The Constructibility of Artificial Intelligence (as Defined by the Turing Test). 419-424 - Stevan Harnad:
Minds, Machines and Turing. 425-445 - José Hernández-Orallo:
Beyond the Turing Test. 447-466 - William J. Rapaport:
How to Pass a Turing Test. 467-490 - B. Jack Copeland, Diane Proudfoot:
What Turing Did after He Invented the Universal Turing Machine. 491-509 - Amílcar Sernadas:
Fibring Logics, Dov M. Gabbay. 511-513 - Esther König, Andreas Mengel:
Linguistic Databases, John Nerbonne, ed. 513-517
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-23 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
