The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/jelia

Publication years (Num. hits)
1990 (36) 1991-1992 (25) 1994 (28) 1996 (29) 1998 (28) 2000 (28) 2002 (56) 2004 (71) 2006 (50) 2008 (35) 2010 (35) 2012 (42) 2014 (54) 2016 (43) 2019 (53)
Publication types (Num. hits)
inproceedings(598) proceedings(15)
Venues (Conferences, Journals, ...)
JELIA(613)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 97 occurrences of 79 keywords

Results
Found 613 publication records. Showing 613 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Christophe Bourely, Gilles Défourneaux, Nicolas Peltier Building Proofs or Counterexamples by Analogy in a Resoluton Framework. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF extended resolution, second order terms, generalization, analogy, model building
1Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin Extensions for Open Default Theories via the Domain Closure Assumption. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino Informational Logic for Automated Reasoning. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Regimantas Pliuskevicius Similarity Saturation for First Order Linear Temporal Logic with UNLESS. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Stefan Brass, Jürgen Dix Characterizing D-WFS: Confluence and Iterated GCWA. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert A. Kowalski Logic Programming with Integrity Constraints. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Hans de Nivelle An Algorithm for the Retrieval of Unifiers from Discrimination Trees. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Algorithms, Implementation, Automated Theorem Proving
1Philippe Besnard, Torsten Schaub A Simple Signed System for Paraconsistent Reasoning. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Anatoli Degtyarev, Andrei Voronkov What You Always Wanted to Know About Rigid E-Unification. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Chandrabose Aravindan An Abductive Framework for Negation in Disjunctive Logic Programming. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Gert Smolka The Oz Programming Model. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski Infinitary Default Logic for Specification of Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF infinitary default logic, representability, extensions, default logic
1Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo Labelled Proofs for Quantified Modal Logic. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1José 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 Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati A Uniform Tableaux Method for Nonmonotonic Modal Logics. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michael R. Genesereth McCarthy's Idea. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Konstantinos Georgatos Ordering-Based Representations of Rational Inference. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF foundations of knowledge representation, nonmonotonic consequence relations, orderings of formulas, nonmonotonic reasoning
1Grigoris Antoniou, Allen P. Courtney, Jörg Ernst, Mary-Anne Williams A System for Computing Constrained Default Logic Extensions. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Vasco Pedro, Luís Monteiro Modules and Specifications. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Artur Mikitiuk Semi-Representability of Default Theories in Rational Default Logic. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Manuel Enciso, Inman P. de Guzmán, Carlos Rossi Temporal Reasoning over Linear Discrete Time. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF temporal logics, automated theorem proving
1Viorica Ciorba A Query Answering Algorithm for Lukaszewicz' General Open Default Theory. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Joeri Engelfriet Only Persistence Makes Nonmonotonicity Monotonous. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF preferential logics, nonmonotonic reasoning, monotonicity
1José Júlio Alferes, Luís Moniz Pereira Belief, Provability, and Logic Programs. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jussi Rintanen Prioritized Autoepistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Revision Specifications by Means of Programs. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Leopoldo E. Bertossi, Raymond Reiter On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone Extending Horn Clause Theories by Reflection Principles. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yves Moinard, Raymond Rolland Around a Powerful Property of Circumscriptions. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle Revision of Non-Monotonic Theories. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Logic Programming, Revision, Non-monotonic Reasoning
1Mary-Anne Williams On the Logic of Theory Base Change. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Heinrich Herre Compactness Properties of Nonmonotonic Inference Operations. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF nonmonotonic inference, compactness, model theory
1Uwe Petermann A Complete Connection Calculus with Rigid E-Unification. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos The Computational Value of Joint Consistency. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Georg Gottlob From Carnap's Modal Logic to Autoepistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka Adding Priorities and Specificity to Default Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Konstantinos Georgatos Reasoning about Knowledge on Computation Trees. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Chandrabose Aravindan, Phan Minh Dung Belief Dynamics, Abduction, and Database. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF belief dynamics, rationality postulates, databases, abduction, epistemology, view updates
1Philippe Chatalic Viewing Hypothesis Theories as Constrained Graded Theories. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Uncertain and Incomplete knowledge representation and semantics, Partially ordered grades, Hypothesis theories, Modal Logic
1Teodor C. Przymusinski Autoepistemic Logic of Minimal Beliefs. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Logics of Knowledge and Belief, Semantics of Logic Programs and Deductive Databases, Non-Monotonic Reasoning
1Richard B. Scherl Equality and Constrained Resolution. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Stéphane Demri Efficient Strategies for Automated Reasoning in Modal Logics. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Andreas Nonnengart How to Use Modalities and Sorts in Prolog. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ewa Orlowska Two Logical Dimensions. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Maurizio Lenzerini Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Craig MacNish, David Pearce 0001, Luís Moniz Pereira (eds.) Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jean-Marie Jacquet, Luís Monteiro Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gerd Große Propositional State Event Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Joeri Engelfriet, Jan Treur Temporal Theories of Reasoning. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Hans de Nivelle A Unification of Ordering Refinements of Resolution in Classical Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Véronique Royer, Joachim Quantz Deriving Inference Rules for Terminological Logics. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Christian Prehofer An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Order-sorted Logic, Constraints, Polymorphism, Resolution, Unification
1Gerard Vreeswijk Reasoning with Defeasible Arguments: Examples and Applications. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Gerd Wagner 0001 (eds.) Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Tim Fernando Transition Systems and Dynamic Semantics. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF first-order logic, bisimulation, updates, transition system, dynamic semantics
1Christine Froidevaux, Jérôme Mengin A Framework for Default Logics. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício Default Theory for Well Founded Semantics with Explicit Negation. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Craig MacNish Knowledge without Modality: A Simplified Framework for Chronological Ignorance. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Anthony Hunter A Conceptualization of Preferences in Non-Monotonic Proof Theory. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Labelled Deductive Systems, Non-monotonic logics
1Marion Sarkis Mircheva Declarative Semantics for Inconsistent Database Programs. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach Computing Answers for Disjunctive Logic Programs. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Hans Rott Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Bertram Fronhöfer Linear Proofs and Linear Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Linear Proofs, Logics for Planning, Linear Logic
1Dimiter Vakarelov A Modal Theory of Arrows. Arrow Logics I. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Arrow structures, Modal logics
1Reinhard Muskens Logical Omniscience and Classical Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic
1Heinrich Herre, David Pearce 0001 Disjunctive Logic Programming, Constructivity and Strong Negation. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Éric Grégoire About Deductive Generalization. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Karen L. Kwast, Sieger van Denneheuvel Weak Implication: Theory and Applications. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Hans-Joachim Goltz A Constructive Type System Based on Data Terms. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nicolas Zabel An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Emil Weydert Relevance and Revision - About Generalizing Syntax-based Belief Revision. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Regimantas Pliuskevicius Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness
1Cees Witteveen Expanding Logic Programs. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Oliver Bittel Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving
1Jan van Eijck (eds.) Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings Search on Bibsonomy JELIA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Munindar P. Singh, Nicholas M. Asher Towards a Formal Theory of Intentions. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Marta Franová Constructive Matching - A Methodology for Inductive Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Frans Voorbraak The Logic of Objective Knowledge and Rational Belief. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Jeroen Groenendijk, Martin Stokhof Two Theories of Dynamic Semantics. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Reinhard Muskens Anaphora and the Logic of Change. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek Systems for Knowledge and Beliefs. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Wojciech Buszkowski On Generative Capacity of the Lambek Calculus. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Jan Jaspars Theoretical Circumscription in Partial Modal Logic. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Peter Gärdenfors Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin? (Abstract). Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Nicholas Asher, Michael Morreau Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Tore Langholm What is a Horn Clause in Partial Logic? Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Vaughan R. Pratt Action Logic and Pure Induction. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Amir Rahat, Nissim Francez, Oded Shmueli On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Jean-Paul Delahaye, V. Thibau The Optimal Model of a Program with Negation. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Emil Weydert Doxastic Preference Logic: A New Look at Belief Revision. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Els Laenens, Dirk Vermeir A Logical Basis for Object Oriented Programming. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Uwe Petermann Towards a Connection Procedure with Built in Theories. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Philippe Mathieu, Jean-Paul Delahaye The Logical Compilation of Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Key-words Expert system, knowledge representation, three-valued logic, forward chaining
1Alan M. Frisch, Richard B. Scherl A Constraint Logic Approach to Modal Deduction. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Claire Gardent Dynamic Semantics and VP-Ellipsis. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Zbigniew Stachniak Note on Effective Constructibility of Resolution Proof Systems. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Michael Freund, Daniel Lehmann Deductive Inference Operations. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Hans Leiß Polymorphic Constructs in Natural and Programming Languages. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #600 of 613 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license