|
Conferences in DBLP
- Thomas Eiter, Georg Gottlob, Nicola Leone
Complexity Results for Abductive Logic Programming. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:1-14 [Conf]
- Marc Denecker
A Terminological Interpretation of (Abductive) Logic Programming. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:15-28 [Conf]
- Carlos Viegas Damásio, Luís Moniz Pereira
Abduction over 3-Valued Extended Logic Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:29-42 [Conf]
- V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On Logical Constraints in Logic Programming. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:43-56 [Conf]
- Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini
An Operator for Composing Deductive Databases with Theories of Constraints. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:57-70 [Conf]
- Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
Update Rules in Datalog Programs. [Citation Graph (1, 0)][DBLP] LPNMR, 1995, pp:71-84 [Conf]
- Stefan Brass, Jürgen Dix
Characterizations of the Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:85-98 [Conf]
- Howard A. Blair
Game Characterizations of Logic Program Properties. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:99-112 [Conf]
- Kenneth A. Berman, John S. Schlipf, John V. Franco
Computing Well-founded Semantics Faster. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:113-126 [Conf]
- Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk
Loop Checking and the Wll-Founded Semantics. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:127-142 [Conf]
- Melvin Fitting
Annotated Revision Specification Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:143-155 [Conf]
- Teodor C. Przymusinski, Hudson Turner
Update by Means of Inference Rules. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:156-174 [Conf]
- João C. P. da Silva, Sheila R. M. Veloso
A Sphere World Semantics for Default Reasoning. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:175-188 [Conf]
- Cees Witteveen, Wiebe van der Hoek
Revision by Communication. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:189-202 [Conf]
- Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:203-216 [Conf]
- Rob Miller
Situation Calculus Specifications for Event Calculus Logic Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:217-230 [Conf]
- Li-Yan Yuan, Jia-Huai You
On the Extension of Logic Programming with Negation through Uniform Proofs. [Citation Graph (1, 0)][DBLP] LPNMR, 1995, pp:231-244 [Conf]
- Alexander Bochman
Default Consequence Relations as a Logical Framework for Logic Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:245-258 [Conf]
- Artur Mikitiuk, Miroslaw Truszczynski
Skeptical Rational Extensions. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:259-272 [Conf]
- Pawel Cholewinski
Reasoning with Stratified Default Theories. [Citation Graph (1, 0)][DBLP] LPNMR, 1995, pp:273-286 [Conf]
- Raymond T. Ng, Xiaomei Tian
Incremental Methods for Optimizing Partial Instantiation. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:287-301 [Conf]
- Robert F. Stärk
A Transformation of Propositional Prolog Programs into Classical Logic. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:302-315 [Conf]
- Phan Minh Dung, Tran Cao Son
Nonmonotonic Inheritance, Argumentation and Logic Programming. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:316-329 [Conf]
- Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
An Abductive Framework for Extended Logic Programming. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:330-343 [Conf]
- Chiaki Sakama, Katsumi Inoue
Embedding Circumscriptive Theories in General Disjunctive Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:344-357 [Conf]
- Jürgen Kalinski
Stable Classes and Operator Pairs for Disjunctive Programs. [Citation Graph (1, 0)][DBLP] LPNMR, 1995, pp:358-371 [Conf]
- David Pearce
Nonmonotonicity and Answer Set Inference. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:372-387 [Conf]
- Arcot Rajasekar
Trans-Epistemic Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:388-400 [Conf]
- Francesca Toni, Antonis C. Kakas
Computing the Acceptability Semantics. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:401-415 [Conf]
|