Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Vladimir Lifschitz, Grigori Schwarz |
Extended Logic Programs as Autoepistemic Theories. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
1 | Radek Vingralek |
Connectionist Approach to Finding Stable Models and Other Structures in Nonmonotonic Reasoning. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes |
Diagnosis and Debugging as Contradiction Removal. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
1 | Frank Teusink |
A Characterization of Stable Models using a Non-Monotonic Operator. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
1 | Jianhua Chen 0003 |
Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes). |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
1 | Michael J. Maher |
Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Anil Nerode, V. Wiktor Marek, V. S. Subrahmanian (eds.) |
Logic Programming and Non-monotonic Reasoning, Proceedings of the First International Workshop, Washington, D.C., USA, July 1991 |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Chitta Baral, V. S. Subrahmanian |
Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning (Extended Abstract). |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Gerhard Brewka, David Makinson, Karl Schlechta |
JTMS and Logic Programming. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Phan Minh Dung, Phaiboon Ruamviboonsuk |
Well-Founded Reasoning with Classical Negation. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | L. Thorne McCarty |
Circumscribing Embedded Implications. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond, Halina Przymusinska |
Definitions in Epistemic Specifications. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | P. Geerts, Dirk Vermeir |
Credulous and Autoepistemic Reasoning Using Ordered Logic. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Paolo Mancarella |
Negation as Stable Hypotheses. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Grigori Schwarz |
Autoepistemic Logic of Knowledge. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Stephen G. Pimentel, William L. Rodi |
Belief Revision and Paraconsistency in a Logic Programming Framework. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Jürgen Dix |
Classifying Semantics of Logic Programs (Extended Abstract). |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício |
Contradiction Removal within Well Founded Semantics. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek, Miroslaw Truszczynski |
Computing Intersection of Autoepistemic Expansions. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Miroslaw Truszczynski |
Embedding Default Logic into Modal Nonmonotonic Logics. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Piero A. Bonatti |
Beliefs as Stable Conjectures. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Domenico Saccà, Carlo Zaniolo |
Partial Models and Three-Valued Models in Logic Programs with Negation. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Autoepistemic Logics of Closed Beliefs and Logic Programming. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | John S. Schlipf |
Representing Epistemic Intervals in Logic Programs. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
1 | Fosca Giannotti, Dino Pedreschi |
Declarative Semantics for Pruning Operators in Logic Programming. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Els Laenens, Brigitte Verdonk, Dirk Vermeir |
The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | L. Thorne McCarty |
The Case for Explicit Exceptions. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | V. S. Lakshmanan 0001 |
Autoepistemic Logic Revisited: The Bias-Free Stable Semantics. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Allen Van Gelder |
A New Form of Circumscription for Logic Programs (Extended Abstract). |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Piero A. Bonatti |
A More General Solution to the Multiple Expansion Problem. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Miroslaw Truszczynski |
Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Roland N. Bol, Jan Friso Groote |
The meaning of Negative Premises in Transition System Specifications. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Gaetano Aurelio Lanzarone |
Metalevel Negation in Non-Monotonic Reasoning. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Stephen G. Pimentel, William L. Rodi |
Integrating Assumption-Based and Nonmonotonic Reasoning. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Paolo Mancarella |
Abductive Logic Programming. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama |
Possible Model Semantics for Disjunctive Databases II (Extended Abstract). |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Liz Sonenberg, Rodney W. Topor |
A Preferred Model Semantics for Inheritance Systems. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Marek A. Suchenek, Rajshekhar Sunderraman |
On reasoning from Closed World Databases with Disjunctive Views. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki |
A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek, Anil Nerode, Dino Pedreschi, V. S. Subrahmanian (eds.) |
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, Austin, TX, USA, November 1-2, 1990 |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Feng Yang, Allen L. Brown Jr., Howard A. Blair |
Programming in Default Logic. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande |
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|