The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Jürgen Dix
    A Computational Logic Approach to Heterogenous Agent Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:1-20 [Conf]
  2. Robert Baumgartner, Sergio Flesca, Georg Gottlob
    Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:21-41 [Conf]
  3. Lefteris M. Kirousis, Phokion G. Kolaitis
    On the Complexity of Model Checking and Inference in Minimal Models. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:42-53 [Conf]
  4. Maurizio Lenzerini
    Data Integration Needs Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:54-61 [Conf]
  5. Chiaki Sakama
    Nonmonotonic Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:62-80 [Conf]
  6. Hudson Turner
    Strong Equivalence for Logic Programs and Default Theories (Made Easy). [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:81-92 [Conf]
  7. Tomi Janhunen
    On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:93-106 [Conf]
  8. V. Wiktor Marek, Jeffrey B. Remmel
    On the Expressibility of Stable Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:107-120 [Conf]
  9. Gerhard Brewka
    On the Relationship between Defeasible Logic and Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:121-132 [Conf]
  10. Kewen Wang
    A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:133-146 [Conf]
  11. Piero A. Bonatti
    Reasoning with Open Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:147-159 [Conf]
  12. Pascal Nicolas, Béatrice Duval
    Representation of Incomplete Knowledge by Induction of Default Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:160-172 [Conf]
  13. Véronique Ventos, Pierre Brézellec, Henry Soldano
    Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:173-185 [Conf]
  14. Chitta Baral, Cenk Uyan
    Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:186-199 [Conf]
  15. Keijo Heljanko, Ilkka Niemelä
    Bounded LTL Model Checking with Stable Models. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:200-212 [Conf]
  16. Michael Gelfond, Marcello Balduccini, Joel Galloway
    Diagnosing Physical Systems in A-Prolog. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:213-225 [Conf]
  17. Tran Cao Son, Chitta Baral, Sheila A. McIlraith
    Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:226-239 [Conf]
  18. Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo
    Encoding Solutions of the Frame Problem in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:240-253 [Conf]
  19. Antonis C. Kakas, Rob Miller, Francesca Toni
    E-RES: Reasoning about Actions, Events and Observations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:254-266 [Conf]
  20. Tommi Syrjänen
    Omega-Restricted Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:267-279 [Conf]
  21. Nicola Leone, Simona Perri, Francesco Scarcello
    Improving ASP Instantiators by Join-Ordering Methods. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:280-294 [Conf]
  22. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Optimizing the Computation of Heuristics for Answer Set Programming Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:295-308 [Conf]
  23. Pascal Nicolas, Frédéric Saubion, Igor Stéphan
    New Generation Systems for Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:309-321 [Conf]
  24. Chen Avin, Rachel Ben-Eliyahu-Zohary
    Algorithms for Computing X-Minimal Models. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:322-335 [Conf]
  25. Thomas Lukasiewicz
    Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:336-350 [Conf]
  26. Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás
    Multi-adjoint Logic Programming with Continuous Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:351-364 [Conf]
  27. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
    Multi-dimensional Dynamic Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:365-378 [Conf]
  28. Carlos Viegas Damásio, Luís Moniz Pereira
    Antitonic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:379-392 [Conf]
  29. Bert Van Nuffelen, Antonis C. Kakas
    A-system: Declarative Programming with Abduction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:393-396 [Conf]
  30. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
    An Update Front-End for Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:397-401 [Conf]
  31. Deborah East, Miroslaw Truszczynski
    aspps - An Implementation of Answer-Set Programming with Propositional Schemata. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:402-405 [Conf]
  32. Christian Anger, Kathrin Konczak, Thomas Linke
    NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:406-410 [Conf]
  33. James P. Delgrande, Torsten Schaub, Hans Tompits
    plp: A Generic Compiler for Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:411-415 [Conf]
  34. Piero A. Bonatti
    Prototypes for Reasoning with Infinite Stable Models and Function Symbols. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:416-419 [Conf]
  35. Ramón P. Otero
    psmodels: Stable Models Based on Pertinence. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:420-423 [Conf]
  36. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer
    System Description: DLV. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:424-428 [Conf]
  37. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
    System Description: The DLVK Planning System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:429-433 [Conf]
  38. Tommi Syrjänen, Ilkka Niemelä
    The Smodels System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:434-438 [Conf]
  39. Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira
    The USA-Advisor: A Case Study in Answer Set Planning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:439-442 [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