The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002