Search results for "LPNMR"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "LPNMR"( http://dblp.L3S.de/Venues/LPNMR )