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