Search results for "JELIA"

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

Publications at "JELIA"( http://dblp.L3S.de/Venues/JELIA )