The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Michael Kifer
    Nonmonotonic Reasoning in FLORA-2. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:1-12 [Conf]
  2. Thomas Eiter
    Data Integration and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:13-25 [Conf]
  3. Jürgen Angele, Eddie Mönch, Henrik Oppermann, Dirk Wenke
    Halo I: A Controlled Experiment for Large Scale Knowledge Base Development. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:26-39 [Conf]
  4. Wolfgang Faber
    Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:40-52 [Conf]
  5. Martin Gebser, Torsten Schaub
    Loops: Relevant or Redundant? [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:53-65 [Conf]
  6. Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski
    Approximating Answer Sets of Unitary Lifschitz-Woo Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:66-78 [Conf]
  7. Paolo Ferraris
    On Modular Translations and Strong Equivalence. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:79-91 [Conf]
  8. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
    Guarded Open Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:92-104 [Conf]
  9. Francesco Calimeri, Giovambattista Ianni
    External Sources of Computation for Answer Set Solvers. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:105-118 [Conf]
  10. Paolo Ferraris
    Answer Sets for Propositional Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:119-131 [Conf]
  11. Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
    An ID-Logic Formalization of the Composition of Autonomous Databases. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:132-144 [Conf]
  12. Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
    On the Local Closed-World Assumption of Data-Sources. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:145-157 [Conf]
  13. Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo
    Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:158-171 [Conf]
  14. Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
    An Approximation of Action Theories of and Its Application to Conformant Planning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:172-184 [Conf]
  15. Alberto Finzi, Thomas Lukasiewicz
    Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:185-197 [Conf]
  16. Marek J. Sergot, Robert Craven
    Some Logical Properties of Nonmonotonic Causal Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:198-210 [Conf]
  17. Antonis C. Kakas, Loizos Michael, Rob Miller
    Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:211-226 [Conf]
  18. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
    Platypus: A Platform for Distributed Answer Set Solving. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:227-239 [Conf]
  19. Wolfgang Faber, Francesco Ricca
    Solving Hard ASP Programs Efficiently. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:240-252 [Conf]
  20. Hai-Feng Guo
    Mode-Directed Fixed Point Computation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:253-265 [Conf]
  21. Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko
    Lookahead in Smodels Compared to Local Consistencies in CSP. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:266-278 [Conf]
  22. Kewen Wang, Yan Zhang
    Nested Epistemic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:279-290 [Conf]
  23. Joost Vennekens, Marc Denecker
    An Algebraic Account of Modularity in ID-Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:291-303 [Conf]
  24. Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler
    Default Reasoning with Preference Within Only Knowing Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:304-316 [Conf]
  25. Francesco Buccafurri, Gianluca Caminiti
    A Social Semantics for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:317-329 [Conf]
  26. Alex Dekhtyar, Michael I. Dekhtyar
    Revisiting the Semantics of Interval Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:330-342 [Conf]
  27. Sergei P. Odintsov, David Pearce
    Routley Semantics for Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:343-355 [Conf]
  28. Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
    The Well Supported Semantics for Multidimensional Dynamic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:356-368 [Conf]
  29. Gang Wu, Jia-Huai You, Guohui Lin
    Application of Smodels in Quartet Based Phylogeny Construction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:369-373 [Conf]
  30. Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner
    Using Answer Set Programming for a Decision Support System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:374-378 [Conf]
  31. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
    Data Integration: a Challenging ASP Application. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:379-383 [Conf]
  32. Kathrin Konczak, Ralf Vogel
    Abduction and Preferences in Linguistics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:384-388 [Conf]
  33. Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot
    Inference of Gene Relations from Microarray Data by Abduction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:389-393 [Conf]
  34. Susanne Grell, Kathrin Konczak, Torsten Schaub
    nomore<: A System for Computing Preferred Answer Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:394-398 [Conf]
  35. Omar El-Khatib, Enrico Pontelli, Tran Cao Son
    Integrating an Answer Set Solver into Prolog: ASP-PROLOG. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:399-404 [Conf]
  36. Emilia Oikarinen, Tomi Janhunen
    circ2dlp - Translating Circumscription into Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:405-409 [Conf]
  37. Lengning Liu, Miroslaw Truszczynski
    Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:410-415 [Conf]
  38. Thomas Eiter, Michael Fink, Ján Senko
    KMonitor - A Tool for Monitoring Plan Execution in Action Theories. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:416-421 [Conf]
  39. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
    The nomore++ System. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:422-426 [Conf]
  40. Islam Elkabani, Enrico Pontelli, Tran Cao Son
    SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:427-431 [Conf]
  41. Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso
    A DLP System with Object-Oriented Features. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:432-436 [Conf]
  42. Thomas Eiter, Wolfgang Faber, Patrick Traxler
    Testing Strong Equivalence of Datalog Programs - Implementation and Examples. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:437-441 [Conf]
  43. Yin Chen, Fangzhen Lin, Lei Li
    SELP - A System for Studying Strong Equivalence Between Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:442-446 [Conf]
  44. Yuliya Lierler
    cmodels - SAT-Based Disjunctive Answer Set Solver. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:447-451 [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