default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. LPNMR 1991: Washington, D.C., USA
- Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian:
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991. The MIT Press 1991, ISBN 0-262-64027-9
Autoepistemic Logic
- Teodor C. Przymusinski:
Autoepistemic Logics of Closed Beliefs and Logic Programming. LPNMR 1991: 3-20 - P. Geerts, Dirk Vermeir:
Credulous and Autoepistemic Reasoning Using Ordered Logic. LPNMR 1991: 21-36 - V. Wiktor Marek, Miroslaw Truszczynski:
Computing Intersection of Autoepistemic Expansions. LPNMR 1991: 37-50
Properties of Logic Programming Semantics
- Piero A. Bonatti:
Beliefs as Stable Conjectures. LPNMR 1991: 53-68 - Chitta Baral, V. S. Subrahmanian:
Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). LPNMR 1991: 69-86 - Domenico Saccà, Carlo Zaniolo:
Partial Models and Three-Valued Models in Logic Programs with Negation. LPNMR 1991: 87-101
Well-Founded Semantics
- Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Contradiction Removal within Well Founded Semantics. LPNMR 1991: 105-119 - Phan Minh Dung, Phaiboon Ruamviboonsuk:
Well-Founded Reasoning with Classical Negation. LPNMR 1991: 120-132 - John S. Schlipf:
Representing Epistemic Intervals in Logic Programs. LPNMR 1991: 133-147
Theory
- Miroslaw Truszczynski:
Embedding Default Logic into Modal Nonmonotonic Logics. LPNMR 1991: 151-165 - Jürgen Dix:
Classifying Semantics of Logic Programs (Extended Abstract). LPNMR 1991: 166-180 - Michael J. Maher:
Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. LPNMR 1991: 181-195
Extensions
- Gerhard Brewka, David Makinson, Karl Schlechta:
JTMS and Logic Programming. LPNMR 1991: 199-210 - L. Thorne McCarty:
Circumscribing Embedded Implications. LPNMR 1991: 211-227 - Stephen G. Pimentel, William L. Rodi:
Belief Revision and Paraconsistency in a Logic Programming Framework. LPNMR 1991: 228-242
Miscellaneous
- Michael Gelfond, Halina Przymusinska:
Definitions in Epistemic Specifications. LPNMR 1991: 245-259 - Grigori Schwarz:
Autoepistemic Logic of Knowledge. LPNMR 1991: 260-274 - Antonis C. Kakas, Paolo Mancarella:
Negation as Stable Hypotheses. LPNMR 1991: 275-288
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 2025-03-04 20:53 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:
