Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati 0001 |
A Uniform Tableaux Method for Nonmonotonic Modal Logics. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Genesereth |
McCarthy's Idea. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Georgatos |
Ordering-Based Representations of Rational Inference. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
foundations of knowledge representation, nonmonotonic consequence relations, orderings of formulas, nonmonotonic reasoning |
1 | Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams |
A System for Computing Constrained Default Logic Extensions. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Pedro, Luís Monteiro |
Modules and Specifications. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski |
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Artur Mikitiuk |
Semi-Representability of Default Theories in Rational Default Logic. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Enciso, Inman P. de Guzmán, Carlos Rossi |
Temporal Reasoning over Linear Discrete Time. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
temporal logics, automated theorem proving |
1 | Viorica Ciorba |
A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet |
Only Persistence Makes Nonmonotonicity Monotonous. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
preferential logics, nonmonotonic reasoning, monotonicity |
1 | José Júlio Alferes, Luís Moniz Pereira |
Belief, Provability, and Logic Programs. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jussi Rintanen |
Prioritized Autoepistemic Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | V. Wiktor Marek, Miroslaw Truszczynski |
Revision Specifications by Means of Programs. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Leopoldo E. Bertossi, Raymond Reiter |
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone |
Extending Horn Clause Theories by Reflection Principles. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yves Moinard, Raymond Rolland |
Around a Powerful Property of Circumscriptions. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
Revision of Non-Monotonic Theories. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
Logic Programming, Revision, Non-monotonic Reasoning |
1 | Mary-Anne Williams |
On the Logic of Theory Base Change. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Herre |
Compactness Properties of Nonmonotonic Inference Operations. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
nonmonotonic inference, compactness, model theory |
1 | Uwe Petermann |
A Complete Connection Calculus with Rigid E-Unification. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Dimopoulos |
The Computational Value of Joint Consistency. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Georg Gottlob |
From Carnap's Modal Logic to Autoepistemic Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Adding Priorities and Specificity to Default Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego |
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Georgatos |
Reasoning about Knowledge on Computation Trees. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chandrabose Aravindan, Phan Minh Dung |
Belief Dynamics, Abduction, and Database. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
belief dynamics, rationality postulates, databases, abduction, epistemology, view updates |
1 | Philippe Chatalic |
Viewing Hypothesis Theories as Constrained Graded Theories. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
Uncertain and Incomplete knowledge representation and semantics, Partially ordered grades, Hypothesis theories, Modal Logic |
1 | Teodor C. Przymusinski |
Autoepistemic Logic of Minimal Beliefs. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
Logics of Knowledge and Belief, Semantics of Logic Programs and Deductive Databases, Non-Monotonic Reasoning |
1 | Richard B. Scherl |
Equality and Constrained Resolution. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
Efficient Strategies for Automated Reasoning in Modal Logics. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Nonnengart |
How to Use Modalities and Sorts in Prolog. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Orlowska |
Two Logical Dimensions. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Maurizio Lenzerini |
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Craig MacNish, David Pearce 0001, Luís Moniz Pereira (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Jacquet, Luís Monteiro |
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Große |
Propositional State Event Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet, Jan Treur |
Temporal Theories of Reasoning. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hans de Nivelle |
A Unification of Ordering Refinements of Resolution in Classical Logic. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Royer, Joachim Quantz |
Deriving Inference Rules for Terminological Logics. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification |
1 | Gerard Vreeswijk |
Reasoning with Defeasible Arguments: Examples and Applications. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001, Gerd Wagner 0001 (eds.) |
Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tim Fernando |
Transition Systems and Dynamic Semantics. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
first-order logic, bisimulation, updates, transition system, dynamic semantics |
1 | Christine Froidevaux, Jérôme Mengin |
A Framework for Default Logics. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício |
Default Theory for Well Founded Semantics with Explicit Negation. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Craig MacNish |
Knowledge without Modality: A Simplified Framework for Chronological Ignorance. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hunter |
A Conceptualization of Preferences in Non-Monotonic Proof Theory. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Labelled Deductive Systems, Non-monotonic logics |
1 | Marion Sarkis Mircheva |
Declarative Semantics for Inconsistent Database Programs. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Furbach |
Computing Answers for Disjunctive Logic Programs. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans Rott |
Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer |
Linear Proofs and Linear Logic. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Linear Proofs, Logics for Planning, Linear Logic |
1 | Dimiter Vakarelov |
A Modal Theory of Arrows. Arrow Logics I. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Arrow structures, Modal logics |
1 | Reinhard Muskens |
Logical Omniscience and Classical Logic. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic |
1 | Heinrich Herre, David Pearce 0001 |
Disjunctive Logic Programming, Constructivity and Strong Negation. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Besnard, Éric Grégoire |
About Deductive Generalization. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Karen L. Kwast, Sieger van Denneheuvel |
Weak Implication: Theory and Applications. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Joachim Goltz |
A Constructive Type System Based on Data Terms. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Zabel |
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Emil Weydert |
Relevance and Revision - About Generalizing Syntax-based Belief Revision. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Regimantas Pliuskevicius |
Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness |
1 | Cees Witteveen |
Expanding Logic Programs. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Bittel |
Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving |
1 | Jan van Eijck (eds.) |
Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings |
JELIA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Munindar P. Singh, Nicholas M. Asher |
Towards a Formal Theory of Intentions. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Marta Franová |
Constructive Matching - A Methodology for Inductive Theorem Proving. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Frans Voorbraak |
The Logic of Objective Knowledge and Rational Belief. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Groenendijk, Martin Stokhof |
Two Theories of Dynamic Semantics. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Muskens |
Anaphora and the Logic of Change. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Wiebe van der Hoek |
Systems for Knowledge and Beliefs. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Buszkowski |
On Generative Capacity of the Lambek Calculus. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jaspars |
Theoretical Circumscription in Partial Modal Logic. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gärdenfors |
Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Asher, Michael Morreau |
Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Tore Langholm |
What is a Horn Clause in Partial Logic? |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Vaughan R. Pratt |
Action Logic and Pure Induction. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Amir Rahat, Nissim Francez, Oded Shmueli |
On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Delahaye, V. Thibau |
The Optimal Model of a Program with Negation. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Emil Weydert |
Doxastic Preference Logic: A New Look at Belief Revision. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Els Laenens, Dirk Vermeir |
A Logical Basis for Object Oriented Programming. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Petermann |
Towards a Connection Procedure with Built in Theories. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Mathieu, Jean-Paul Delahaye |
The Logical Compilation of Knowledge Bases. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
Key-words Expert system, knowledge representation, three-valued logic, forward chaining |
1 | Alan M. Frisch, Richard B. Scherl |
A Constraint Logic Approach to Modal Deduction. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Claire Gardent |
Dynamic Semantics and VP-Ellipsis. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Zbigniew Stachniak |
Note on Effective Constructibility of Resolution Proof Systems. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Michael Freund, Daniel Lehmann 0001 |
Deductive Inference Operations. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hans Leiß |
Polymorphic Constructs in Natural and Programming Languages. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Vreeswijk |
A Complete Logic for Autoepistemic Membership. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | J. Michael Dunn |
Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Caferra, Nicolas Zabel |
Extending Resolution for Model Construction. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
Equational Problems, Disunification, Theorem Proving, Decision Procedures, Unification, Model Construction |
1 | Zdravko Markov, Christo Dichev |
The Net-Clause Language - A Tool for Data-Driven Inference. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Zhisheng Huang, Karen L. Kwast |
Awareness, Negation and Logical Omniscience. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Roland N. Bol |
Loop Checking and Negation. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | John-Jules Ch. Meyer, Wiebe van der Hoek |
Non-Monotonic Reasoning by Monotonic Means. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Cees Witteveen |
Partial Semantics for Truth Maintenance - a Compositional Approach. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doherty 0001 |
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Lakemeyer |
A Computationally Attractive First-Order Logic of Belief. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nick Davies |
A First Order Logic of Truth, Knowledge and Belief. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Fernando C. N. Pereira |
Semantic Interpretation as Higher-Order Deduction. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ilkka Niemelä |
Towards Automatic Autoepistemic Reasoning. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|