JELIA 1990:
Amsterdam,
The Netherlands
Jan van Eijck (Ed.):
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 BibTeX
@proceedings{DBLP:conf/jelia/1990,
editor = {Jan van Eijck},
title = {Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands,
September 10-14, 1990, Proceedings},
booktitle = {JELIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {478},
year = {1991},
isbn = {3-540-53686-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Selected Papers
- Roland N. Bol:
Loop Checking and Negation.
121-138 BibTeX
- Wojciech Buszkowski:
On Generative Capacity of the Lambek Calculus.
139-152 BibTeX
- Ricardo Caferra, Nicolas Zabel:
Extending Resolution for Model Construction.
153-169 BibTeX
- Nick Davies:
A First Order Logic of Truth, Knowledge and Belief.
170-179 BibTeX
- Jean-Paul Delahaye, V. Thibau:
The Optimal Model of a Program with Negation.
180-195 BibTeX
- Patrick Doherty:
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism.
196-211 BibTeX
- Marta Franová:
Constructive Matching - A Methodology for Inductive Theorem Proving.
212-226 BibTeX
- Michael Freund, Daniel J. Lehmann:
Deductive Inference Operations.
227-233 BibTeX
- Alan M. Frisch, Richard B. Scherl:
A Constraint Logic Approach to Modal Deduction.
234-250 BibTeX
- Claire Gardent:
Dynamic Semantics and VP-Ellipsis.
251-266 BibTeX
- Wiebe van der Hoek:
Systems for Knowledge and Beliefs.
267-281 BibTeX
- Zhisheng Huang, Karen L. Kwast:
Awareness, Negation and Logical Omniscience.
282-300 BibTeX
- Jan Jaspars:
Theoretical Circumscription in Partial Modal Logic.
301-316 BibTeX
- Els Laenens, Dirk Vermeir:
A Logical Basis for Object Oriented Programming.
317-332 BibTeX
- Gerhard Lakemeyer:
A Computationally Attractive First-Order Logic of Belief.
333-347 BibTeX
- Hans Leiß:
Polymorphic Constructs in Natural and Programming Languages.
348-365 BibTeX
- Zdravko Markov, Christo Dichev:
The Net-Clause Language - A Tool for Data-Driven Inference.
366-385 BibTeX
- Philippe Mathieu, Jean-Paul Delahaye:
The Logical Compilation of Knowledge Bases.
386-398 BibTeX
- John-Jules Ch. Meyer, Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means.
399-411 BibTeX
- Reinhard Muskens:
Anaphora and the Logic of Change.
412-427 BibTeX
- Ilkka Niemelä:
Towards Automatic Autoepistemic Reasoning.
428-443 BibTeX
- Uwe Petermann:
Towards a Connection Procedure with Built in Theories.
444-543 BibTeX
- Amir Rahat, Nissim Francez, Oded Shmueli:
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs.
454-471 BibTeX
- Munindar P. Singh, Nicholas M. Asher:
Towards a Formal Theory of Intentions.
472-486 BibTeX
- Zbigniew Stachniak:
Note on Effective Constructibility of Resolution Proof Systems.
487-498 BibTeX
- Frans Voorbraak:
The Logic of Objective Knowledge and Rational Belief.
499-515 BibTeX
- Gerard Vreeswijk:
A Complete Logic for Autoepistemic Membership.
516-525 BibTeX
- Emil Weydert:
Doxastic Preference Logic: A New Look at Belief Revision.
526-543 BibTeX
- Cees Witteveen:
Partial Semantics for Truth Maintenance - a Compositional Approach.
544-561 BibTeX
Copyright © Sat May 16 23:27:38 2009
by Michael Ley (ley@uni-trier.de)