default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 1994: York, UK
- Craig MacNish, David Pearce, Luís Moniz Pereira:
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings. Lecture Notes in Computer Science 838, Springer 1994, ISBN 3-540-58332-7
Invited Speaker
- Georg Gottlob:
From Carnap's Modal Logic to Autoepistemic Logic. 1-18
Nonmonotonic Reasoning
- Heinrich Herre:
Compactness Properties of Nonmonotonic Inference Operations. 19-33 - Yves Moinard, Raymond Rolland:
Around a Powerful Property of Circumscriptions. 34-49 - Yannis Dimopoulos:
The Computational Value of Joint Consistency. 50-65
Belief Revision
- Chandrabose Aravindan, Phan Minh Dung:
Belief Dynamics, Abduction, and Database. 66-85 - Mary-Anne Williams
:
On the Logic of Theory Base Change. 86-105
Logic Programming and Theory Revision
- José Júlio Alferes, Luís Moniz Pereira:
Belief, Provability, and Logic Programs. 106-121 - V. Wiktor Marek, Miroslaw Truszczynski:
Revision Specifications by Means of Programs. 122-136 - Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle:
Revision of Non-Monotonic Theories. 137-151
Automated Reasoning
- Uwe Petermann:
A Complete Connection Calculus with Rigid E-Unification. 152-166 - Richard B. Scherl:
Equality and Constrained Resolution. 167-181 - Stéphane Demri:
Efficient Strategies for Automated Reasoning in Modal Logics. 182-197 - Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego:
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. 198-216 - Hans de Nivelle:
A Unification of Ordering Refinements of Resolution in Classical Logic. 217-230
Invited Speaker
- Ewa Orlowska:
Two Logical Dimensions. 231
Prioritized Nonmonotonic Reasoning
- Jussi Rintanen:
Prioritized Autoepistemic Logic. 232-246 - Gerhard Brewka:
Adding Priorities and Specificity to Default Logic. 247-260 - Philippe Chatalic:
Viewing Hypothesis Theories as Constrained Graded Theories. 261-278
Models of Reasoning
- Joeri Engelfriet, Jan Treur:
Temporal Theories of Reasoning. 279-299 - Konstantinos Georgatos:
Reasoning about Knowledge on Computation Trees. 300-315
Knowledge Representation
- Gerd Große:
Propositional State Event Logic. 316-331 - Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. 332-346 - Leopoldo E. Bertossi, Raymond Reiter:
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. 347-363
Invited Speaker
- Teodor C. Przymusinski:
Autoepistemic Logic of Minimal Beliefs. 364
Extending Logic Programming
- Andreas Nonnengart:
How to Use Modalities and Sorts in Prolog. 365-378 - Jean-Marie Jacquet, Luís Monteiro:
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. 379-399 - Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone:
Extending Horn Clause Theories by Reflection Principles. 400-413
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-01-15 20:33 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:
