Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 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
a service of 
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 2023-09-22 20:29 CEST 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:
