Conferences in DBLP

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

1. Georg Gottlob, Francesco Scarcello, Martha Sideri
   Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:1-18 [Conf]
   
2. Tomi Janhunen
   Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:19-33 [Conf]
   
3. Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
   Locally Determined Logic Programs. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:34-48 [Conf]
   
4. V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
   Annotated Revision Programs. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:49-62 [Conf]
   
5. Ján Sefránek
   Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:63-77 [Conf]
   
6. Antonis C. Kakas, Rob Miller, Francesca Toni
   An Argumentation Framework of Reasoning about Actions and Change. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:78-91 [Conf]
   
7. Vladimir Lifschitz, Hudson Turner
   Representing Transition Systems by Logic Programs. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:92-106 [Conf]
   
8. Esra Erdem, Vladimir Lifschitz
   Transformations of Logic Programs Related to Causality and Planning. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:107-116 [Conf]
   
9. Fangzhen Lin, Kewen Wang
   From Causal Theories to Logic Programs (Sometimes). [Citation Graph (0, 0)][DBLP]
   LPNMR, 1999, pp:117-131 [Conf]
   
10. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos
    Monotone Expansion of Updates in Logical Databases. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:132-146 [Conf]
    
11. Chiaki Sakama, Katsumi Inoue
    Updating Extended Logic Programs through Abduction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:147-161 [Conf]
    
12. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    LUPS - A Language for Updating Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:162-176 [Conf]
    
13. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
    Pushing Goal Derivation in DLP Computations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:177-191 [Conf]
    
14. Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
    Linear Tabulated Resolutions for the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:192-205 [Conf]
    
15. Baoqiu Cui, Terrance Swift, David Scott Warren
    A Case Study in Using Preference Logic Grammars for Knowledge Representations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:206-220 [Conf]
    
16. Sergio Greco
    Minimal Founded Semantics for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:221-235 [Conf]
    
17. Marina De Vos, Dirk Vermeir
    On the Role of Negation in Choice Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:236-246 [Conf]
    
18. Thomas Linke, Torsten Schaub
    Default Reasoning via Blocking Sets. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:247-261 [Conf]
    
19. Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
    Coherent Well-founded Annotated Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:262-276 [Conf]
    
20. Thomas Lukasiewicz
    Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:277-289 [Conf]
    
21. Cristinel Mateis
    Extending Disjunctive Logic Programming by T-norms. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:290-304 [Conf]
    
22. Patrik Simons
    Extending the Stable Model Semantics with More Expressive Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:305-316 [Conf]
    
23. Ilkka Niemelä, Patrik Simons, Timo Soininen
    Stable Model Semantics of Weight Constraint Rules. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:317-331 [Conf]
    
24. Riccardo Rosati
    Towards First-Order Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:332-346 [Conf]
    
25. Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
    A Comparison of Sceptical NAF-Free Logic Programming Approaches. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:347-356 [Conf]
    
26. Pascal Hitzler, Anthony Karel Seda
    Characterizations of Classes of Programs by Three-Valued Operators. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:357-371 [Conf]
    
27. Marco Cadoli
    Using LPNMR for Problem Specification and Code Generation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:372- [Conf]
    
28. Vladimir Lifschitz
    Answer Set Planning (Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:373-374 [Conf]
    
29. David A. McAllester
    World-Modeling vs. World-Axiomatizing. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:375-388 [Conf]
    
30. Leora Morgenstern
    Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:389- [Conf]