Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. LPNMR 1999: El Paso, Texas, USA
- Michael Gelfond
, Nicola Leone, Gerald Pfeifer:
Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Lecture Notes in Computer Science 1730, Springer 1999, ISBN 3-540-66749-0
Contributed Papers
- Georg Gottlob, Francesco Scarcello, Martha Sideri:
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. 1-18 - Tomi Janhunen:
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. 19-33 - Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt:
Locally Determined Logic Programs. 34-48 - V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
Annotated Revision Programs. 49-62 - Ján Sefránek:
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. 63-77 - Antonis C. Kakas, Rob Miller, Francesca Toni:
An Argumentation Framework of Reasoning about Actions and Change. 78-91 - Vladimir Lifschitz, Hudson Turner:
Representing Transition Systems by Logic Programs. 92-106 - Esra Erdem, Vladimir Lifschitz:
Transformations of Logic Programs Related to Causality and Planning. 107-116 - Fangzhen Lin, Kewen Wang:
From Causal Theories to Logic Programs (Sometimes). 117-131 - Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos:
Monotone Expansion of Updates in Logical Databases. 132-146 - Chiaki Sakama, Katsumi Inoue:
Updating Extended Logic Programs through Abduction. 147-161 - José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
LUPS - A Language for Updating Logic Programs. 162-176 - Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pushing Goal Derivation in DLP Computations. 177-191 - Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics. 192-205 - Baoqiu Cui, Terrance Swift, David Scott Warren:
A Case Study in Using Preference Logic Grammars for Knowledge Representations. 206-220 - Sergio Greco:
Minimal Founded Semantics for Disjunctive Logic Programming. 221-235 - Marina De Vos, Dirk Vermeir:
On the Role of Negation in Choice Logic Programs. 236-246 - Thomas Linke, Torsten Schaub:
Default Reasoning via Blocking Sets. 247-261 - Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift:
Coherent Well-founded Annotated Logic Programs. 262-276 - Thomas Lukasiewicz:
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. 277-289 - Cristinel Mateis:
Extending Disjunctive Logic Programming by T-norms. 290-304 - Patrik Simons:
Extending the Stable Model Semantics with More Expressive Rules. 305-316 - Ilkka Niemelä, Patrik Simons, Timo Soininen:
Stable Model Semantics of Weight Constraint Rules. 317-331 - Riccardo Rosati:
Towards First-Order Nonmonotonic Reasoning. 332-346 - Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori:
A Comparison of Sceptical NAF-Free Logic Programming Approaches. 347-356 - Pascal Hitzler, Anthony Karel Seda:
Characterizations of Classes of Programs by Three-Valued Operators. 357-371
Invited Talks
- Marco Cadoli:
Using LPNMR for Problem Specification and Code Generation. 372 - Vladimir Lifschitz:
Answer Set Planning (Abstract). 373-374 - David A. McAllester:
World-Modeling vs. World-Axiomatizing. 375-388 - Leora Morgenstern:
Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems. 389
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
