LPNMR B

31 papers

YearTitle / Authors
1999A Case Study in Using Preference Logic Grammars for Knowledge Representations.
Baoqiu Cui, Terrance Swift, David Scott Warren
1999A Comparison of Sceptical NAF-Free Logic Programming Approaches.
Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
1999An Argumentation Framework of Reasoning about Actions and Change.
Antonis C. Kakas, Rob Miller, Francesca Toni
1999Annotated Revision Programs.
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
1999Answer Set Planning (Abstract).
Vladimir Lifschitz
1999Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.
Ján Sefránek
1999Characterizations of Classes of Programs by Three-Valued Operators.
Pascal Hitzler, Anthony Karel Seda
1999Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.
Tomi Janhunen
1999Coherent Well-founded Annotated Logic Programs.
Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
1999Default Reasoning via Blocking Sets.
Thomas Linke, Torsten Schaub
1999Extending Disjunctive Logic Programming by T-norms.
Cristinel Mateis
1999Extending the Stable Model Semantics with More Expressive Rules.
Patrik Simons
1999Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.
Georg Gottlob, Francesco Scarcello, Martha Sideri
1999From Causal Theories to Logic Programs (Sometimes).
Fangzhen Lin, Kewen Wang
1999LUPS - A Language for Updating Logic Programs.
José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1999Linear Tabulated Resolutions for the Well-Founded Semantics.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
1999Locally Determined Logic Programs.
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
1999Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings
Michael Gelfond, Nicola Leone, Gerald Pfeifer
1999Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.
Thomas Lukasiewicz
1999Minimal Founded Semantics for Disjunctive Logic Programming.
Sergio Greco
1999Monotone Expansion of Updates in Logical Databases.
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
1999On the Role of Negation in Choice Logic Programs.
Marina De Vos, Dirk Vermeir
1999Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.
Leora Morgenstern
1999Pushing Goal Derivation in DLP Computations.
Wolfgang Faber, Nicola Leone, Gerald Pfeifer
1999Representing Transition Systems by Logic Programs.
Vladimir Lifschitz, Hudson Turner
1999Stable Model Semantics of Weight Constraint Rules.
Ilkka Niemelä, Patrik Simons, Timo Soininen
1999Towards First-Order Nonmonotonic Reasoning.
Riccardo Rosati
1999Transformations of Logic Programs Related to Causality and Planning.
Esra Erdem, Vladimir Lifschitz
1999Updating Extended Logic Programs through Abduction.
Chiaki Sakama, Katsumi Inoue
1999Using LPNMR for Problem Specification and Code Generation.
Marco Cadoli
1999World-Modeling vs. World-Axiomatizing.
David A. McAllester