default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. LPNMR 1993: Lisbon, Portugal
- Luís Moniz Pereira, Anil Nerode:
Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993. MIT Press 1993, ISBN 0-262-66083-0
Implementation
- Wolf Kohn, Anil Nerode:
Autonomous Control of Hybrid Systems with Declarative Controllers. LPNMR 1993: 3-22 - Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Implementing Stable Semantics by Linear Programming. LPNMR 1993: 23-42 - Martin Müller, Jürgen Dix:
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR 1993: 43-59 - Radek Vingralek:
Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. LPNMR 1993: 60-81 - Wlodzimierz Drabent:
SLS-Resolution without Floundering. LPNMR 1993: 82-98
MBNF and Related Topics
- Vladimir Lifschitz, Grigori Schwarz:
Extended Logic Programs as Autoepistemic Theories. LPNMR 1993: 101-114 - V. Wiktor Marek, Miroslaw Truszczynski:
Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131 - Jianhua Chen:
Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). LPNMR 1993: 132-150 - Piero A. Bonatti:
Autoepistemic Logic Programming. LPNMR 1993: 151-167
Stability and Related Topics
- Andrei Bondarenko, Francesca Toni, Robert A. Kowalski:
An Assumption-Based Framework for Non-Monotonic Reasoning. LPNMR 1993: 171-189 - Stefania Costantini:
Contributions to the Stable Model Semantics of Logic Programs with Negation. LPNMR 1993: 190-205 - Frank Teusink:
A Characterization of Stable Models using a Non-Monotonic Operator. LPNMR 1993: 206-222 - Alberto Torres:
Negation as Failure to Support. LPNMR 1993: 223-243 - Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi:
Negation as Partial Failure. LPNMR 1993: 244-262
Disjunctive LP, Inconsistency Handling
- Georg Gottlob:
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). LPNMR 1993: 265 - Chiaki Sakama, Katsumi Inoue:
Relating Disjunctive Logic Programs to Default Theories. LPNMR 1993: 266-282 - Artur Mikitiuk, Miroslaw Truszczynski:
Rational Default Logic and Disjunctive Logic Programming. LPNMR 1993: 283-299 - Gerd Wagner:
Reasoning with Inconsistency in Extended Deductive Databases. LPNMR 1993: 300-315 - Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes:
Diagnosis and Debugging as Contradiction Removal. LPNMR 1993: 316-330
Nonstandard Semantics
- Yehoshua Sagiv:
Tools for Deductive Databases (Abstract). LPNMR 1993: 333 - José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira:
Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348 - Gerhard Brewka:
An Abductive Framework for Generalized Logic Programs. LPNMR 1993: 349-364 - Marc Denecker, Danny De Schreye:
Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. LPNMR 1993: 365-379 - P. Geerts, Dirk Vermeir:
A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information. LPNMR 1993: 380-396 - Michael Gelfond, Halina Przymusinska:
Reasoning on Open Domains. LPNMR 1993: 397-413
Constructive Logic
- L. Thorne McCarty, Ron van der Meyden:
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR 1993: 417-436 - Fangqing Dong, Laks V. S. Lakshmanan:
Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). LPNMR 1993: 437-456 - David Pearce:
Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms. LPNMR 1993: 457-475 - Douglas R. Busch:
A Sequent Axiomatization of Three-valued Logic with Two Negations. LPNMR 1993: 476-494
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-12-27 21:34 CET 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:
