![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
JELIA 1990: Amsterdam, The Netherlands
- Jan van Eijck:
Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings. Lecture Notes in Computer Science 478, Springer 1991, ISBN 3-540-53686-8
Invited Papers
- Nicholas Asher, Michael Morreau:
Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning. 1-30 - J. Michael Dunn:
Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. 31-51 - Peter Gärdenfors:
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). 52-54 - Jeroen Groenendijk, Martin Stokhof:
Two Theories of Dynamic Semantics. 55-64 - Tore Langholm
:
What is a Horn Clause in Partial Logic? 65-77 - Fernando C. N. Pereira:
Semantic Interpretation as Higher-Order Deduction. 78-96 - Vaughan R. Pratt:
Action Logic and Pure Induction. 97-120
Selected Papers
- Roland N. Bol:
Loop Checking and Negation. 121-138 - Wojciech Buszkowski
:
On Generative Capacity of the Lambek Calculus. 139-152 - Ricardo Caferra, Nicolas Zabel:
Extending Resolution for Model Construction. 153-169 - Nick Davies:
A First Order Logic of Truth, Knowledge and Belief. 170-179 - Jean-Paul Delahaye, V. Thibau:
The Optimal Model of a Program with Negation. 180-195 - Patrick Doherty:
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. 196-211 - Marta Franová:
Constructive Matching - A Methodology for Inductive Theorem Proving. 212-226 - Michael Freund, Daniel Lehmann:
Deductive Inference Operations. 227-233 - Alan M. Frisch
, Richard B. Scherl:
A Constraint Logic Approach to Modal Deduction. 234-250 - Claire Gardent:
Dynamic Semantics and VP-Ellipsis. 251-266 - Wiebe van der Hoek:
Systems for Knowledge and Beliefs. 267-281 - Zhisheng Huang, Karen L. Kwast:
Awareness, Negation and Logical Omniscience. 282-300 - Jan Jaspars:
Theoretical Circumscription in Partial Modal Logic. 301-316 - Els Laenens, Dirk Vermeir:
A Logical Basis for Object Oriented Programming. 317-332 - Gerhard Lakemeyer:
A Computationally Attractive First-Order Logic of Belief. 333-347 - Hans Leiß:
Polymorphic Constructs in Natural and Programming Languages. 348-365 - Zdravko Markov, Christo Dichev:
The Net-Clause Language - A Tool for Data-Driven Inference. 366-385 - Philippe Mathieu
, Jean-Paul Delahaye:
The Logical Compilation of Knowledge Bases. 386-398 - John-Jules Ch. Meyer, Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means. 399-411 - Reinhard Muskens
:
Anaphora and the Logic of Change. 412-427 - Ilkka Niemelä:
Towards Automatic Autoepistemic Reasoning. 428-443 - Uwe Petermann:
Towards a Connection Procedure with Built in Theories. 444-543 - Amir Rahat, Nissim Francez, Oded Shmueli:
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. 454-471 - Munindar P. Singh
, Nicholas M. Asher:
Towards a Formal Theory of Intentions. 472-486 - Zbigniew Stachniak:
Note on Effective Constructibility of Resolution Proof Systems. 487-498 - Frans Voorbraak:
The Logic of Objective Knowledge and Rational Belief. 499-515 - Gerard Vreeswijk:
A Complete Logic for Autoepistemic Membership. 516-525 - Emil Weydert:
Doxastic Preference Logic: A New Look at Belief Revision. 526-543 - Cees Witteveen:
Partial Semantics for Truth Maintenance - a Compositional Approach. 544-561
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.