Conferences in DBLP

Logic Programming and Non-Monotonic Reasoning (LPNMR) (lpnmr)
1995 (conf/lpnmr/1995)

1. Thomas Eiter, Georg Gottlob, Nicola Leone
   Complexity Results for Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1995, pp:1-14 [Conf]
   
2. Marc Denecker
   A Terminological Interpretation of (Abductive) Logic Programming. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1995, pp:15-28 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos
   Update Rules in Datalog Programs. [Citation Graph (1, 0)][DBLP]
   LPNMR, 1995, pp:71-84 [Conf]
   
7. Stefan Brass, Jürgen Dix
   Characterizations of the Stable Semantics by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1995, pp:85-98 [Conf]
   
8. Howard A. Blair
   Game Characterizations of Logic Program Properties. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1995, pp:99-112 [Conf]
   
9. 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]
   
10. 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]
    
11. Melvin Fitting
    Annotated Revision Specification Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:143-155 [Conf]
    
12. Teodor C. Przymusinski, Hudson Turner
    Update by Means of Inference Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:156-174 [Conf]
    
13. 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]
    
14. Cees Witteveen, Wiebe van der Hoek
    Revision by Communication. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:189-202 [Conf]
    
15. 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]
    
16. Rob Miller
    Situation Calculus Specifications for Event Calculus Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:217-230 [Conf]
    
17. 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]
    
18. Alexander Bochman
    Default Consequence Relations as a Logical Framework for Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:245-258 [Conf]
    
19. Artur Mikitiuk, Miroslaw Truszczynski
    Skeptical Rational Extensions. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:259-272 [Conf]
    
20. Pawel Cholewinski
    Reasoning with Stratified Default Theories. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1995, pp:273-286 [Conf]
    
21. Raymond T. Ng, Xiaomei Tian
    Incremental Methods for Optimizing Partial Instantiation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:287-301 [Conf]
    
22. Robert F. Stärk
    A Transformation of Propositional Prolog Programs into Classical Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:302-315 [Conf]
    
23. Phan Minh Dung, Tran Cao Son
    Nonmonotonic Inheritance, Argumentation and Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:316-329 [Conf]
    
24. 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]
    
25. Chiaki Sakama, Katsumi Inoue
    Embedding Circumscriptive Theories in General Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:344-357 [Conf]
    
26. Jürgen Kalinski
    Stable Classes and Operator Pairs for Disjunctive Programs. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1995, pp:358-371 [Conf]
    
27. David Pearce
    Nonmonotonicity and Answer Set Inference. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:372-387 [Conf]
    
28. Arcot Rajasekar
    Trans-Epistemic Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:388-400 [Conf]
    
29. Francesca Toni, Antonis C. Kakas
    Computing the Acceptability Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:401-415 [Conf]