Conferences in DBLP

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

1. Roland N. Bol, Jan Friso Groote
   The meaning of Negative Premises in Transition System Specifications. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:2-9 [Conf]
   
2. Piero A. Bonatti
   A More General Solution to the Multiple Expansion Problem. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:10-18 [Conf]
   
3. Stefania Costantini, Gaetano Aurelio Lanzarone
   Metalevel Negation in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:19-26 [Conf]
   
4. Fosca Giannotti, Dino Pedreschi
   Declarative Semantics for Pruning Operators in Logic Programming. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:27-37 [Conf]
   
5. James P. Delgrande
   A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:38-48 [Conf]
   
6. Antonis C. Kakas, Paolo Mancarella
   Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:49-61 [Conf]
   
7. Els Laenens, Brigitte Verdonk, Dirk Vermeir
   The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:62-72 [Conf]
   
8. V. S. Lakshmanan
   Autoepistemic Logic Revisited: The Bias-Free Stable Semantics. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:73-80 [Conf]
   
9. L. Thorne McCarty
   The Case for Explicit Exceptions. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1990, pp:81-94 [Conf]
   
10. Stephen G. Pimentel, William L. Rodi
    Integrating Assumption-Based and Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:95-102 [Conf]
    
11. Teodor C. Przymusinski
    Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:103-106 [Conf]
    
12. Chiaki Sakama
    Possible Model Semantics for Disjunctive Databases II (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:107-114 [Conf]
    
13. Hirohisa Seki
    A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:115-123 [Conf]
    
14. Liz Sonenberg, Rodney W. Topor
    A Preferred Model Semantics for Inheritance Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:124-131 [Conf]
    
15. Marek A. Suchenek, Rajshekhar Sunderraman
    On reasoning from Closed World Databases with Disjunctive Views. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:132-149 [Conf]
    
16. Miroslaw Truszczynski
    Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:150-169 [Conf]
    
17. Allen Van Gelder
    A New Form of Circumscription for Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:170-177 [Conf]
    
18. Feng Yang, Allen L. Brown Jr., Howard A. Blair
    Programming in Default Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:178-186 [Conf]