Search results for "LPNMR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Thomas Linke, Torsten Schaub	Default Reasoning via Blocking Sets.	LPNMR	1999	DBLP DOI BibTeX RDF
1	José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski	LUPS - A Language for Updating Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
1	Tomi Janhunen	Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.	LPNMR	1999	DBLP DOI BibTeX RDF
1	Thomas Lukasiewicz	Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.	LPNMR	1999	DBLP BibTeX RDF
1	Esra Erdem 0001, Vladimir Lifschitz	Transformations of Logic Programs Related to Causality and Planning.	LPNMR	1999	DBLP DOI BibTeX RDF
1	Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt	Locally Determined Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF
1	Marco Cadoli	Using LPNMR for Problem Specification and Code Generation.	LPNMR	1999	DBLP DOI BibTeX RDF
1	Pascal Hitzler, Anthony Karel Seda	Characterizations of Classes of Programs by Three-Valued Operators.	LPNMR	1999	DBLP DOI BibTeX RDF
1	Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)	Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings	LPNMR	1999	DBLP DOI BibTeX RDF
1	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
1	Thomas Eiter, James J. Lu, V. S. Subrahmanian	Computing Non-Ground Representations of Stable Models.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Uwe Egly, Hans Tompits	Is Non-Monotonic Reasoning Always Harder?	LPNMR	1997	DBLP DOI BibTeX RDF
1	Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä	Dislop: Towards a Disjunctive Logic Programming System.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Piero A. Bonatti	Resolution for Skeptical Stable Semantics.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Riccardo Rosati 0001	Complexity of Only Knowing: The Propositional Case.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Bing Liu 0001, Roland H. C. Yap	Forward and Backward Chaining in Constraint Programming (Abstract).	LPNMR	1997	DBLP DOI BibTeX RDF
1	Tomi Janhunen	Separating Disbeliefs from Beliefs in Autoepistemic Reasoning.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Miroslaw Truszczynski	Automated Reasoning with Non-Monotonic Logics (Abstract).	LPNMR	1997	DBLP DOI BibTeX RDF
1	Paul-Thomas Kandzia	Non-Monotonic Reasoning in FLORID.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Antonio Brogi, Simone Contiero, Franco Turini	Composing General Logic Programs.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Bruno Buchberger	Computing, Solving, Proving: A Survey on the Theorema Project (Abstract).	LPNMR	1997	DBLP DOI BibTeX RDF
1	Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder 0001	REVISE: Logic Programming and Diagnosis.	LPNMR	1997	DBLP DOI BibTeX RDF
1	J. Seitzer, John S. Schlipf	Affordable Classes of Normal Logic Programs.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Howard A. Blair, Fred Dushin, Paul R. Humenn	Simulations between Programs as Cellular Automata.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Alexander Bochman	A Study of Przymusinski's Static Semantics.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Martin R. Karig	Industry Needs for Integrated Information Services (Abstract).	LPNMR	1997	DBLP DOI BibTeX RDF
1	Thomas Eiter, Georg Gottlob, Helmut Veith	Modular Logic Programming and Generalized Quantifiers.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello	A Deductive System for Non-Monotonic Reasoning.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Ilkka Niemelä, Patrik Simons	Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Michael Gelfond	Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Vyacheslav Petukhin	Programs with Universally Quantified Embedded Implications.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Ulrich Zukowski, Burkhard Freitag	The Deductive Database System LOLA.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Gerd Neugebauer, Dorothea Schäfer	GLUE: Opening the World to Theorem Provers.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Cees Witteveen, Wiebe van der Hoek	A General Framework for Revising Non-Monotonic Theories.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)	Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings	LPNMR	1997	DBLP DOI BibTeX RDF
1	Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire	XSB: A System for Effciently Computing WFS.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Guo-Qiang Zhang 0001, William C. Rounds	Power Defaults.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Ulrich Zukowski, Burkhard Freitag, Stefan Brass	Improving the Alternating Fixpoint: The Transformation Approach.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Adnan H. Yahya	Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Carlos Viegas Damásio, Luís Moniz Pereira	A Paraconsistent Semantics with Contradiction Support Detection.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Torsten Schaub, Pascal Nicolas	An Implementation Platform for Query-Answering: X-RAY.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Francesco Buccafurri, Nicola Leone, Pasquale Rullo	Strong and Weak Constraints in Disjunctive Datalog.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Ch. Pollet, Jeffrey B. Remmel	Non-Monotonic Reasoning with Quantified Boolean Constraints.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Antonis C. Kakas, Costas Mourlas	ACLP: Flexible Solutions to Complex Problems.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos	On Conservative Enforced Updates.	LPNMR	1997	DBLP DOI BibTeX RDF
1	Teodor C. Przymusinski, Hudson Turner	Update by Means of Inference Rules.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Rob Miller 0002	Situation Calculus Specifications for Event Calculus Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	V. Wiktor Marek, Anil Nerode (eds.)	Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings	LPNMR	1995	DBLP DOI BibTeX RDF
1	Kenneth A. Berman, John S. Schlipf, John V. Franco	Computing Well-founded Semantics Faster.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello	An Abductive Framework for Extended Logic Programming.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Li-Yan Yuan, Jia-Huai You	On the Extension of Logic Programming with Negation through Uniform Proofs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Pawel Cholewinski	Reasoning with Stratified Default Theories.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Arcot Rajasekar	Trans-Epistemic Semantics for Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Artur Mikitiuk, Miroslaw Truszczynski	Skeptical Rational Extensions.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Raymond T. Ng, Xiaomei Tian	Incremental Methods for Optimizing Partial Instantiation.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Mirian Halfeld Ferrari Alves, Dominique Laurent 0001, Nicolas Spyratos	Update Rules in Datalog Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk	Loop Checking and the Wll-Founded Semantics.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Thomas Eiter, Georg Gottlob, Nicola Leone	Complexity Results for Abductive Logic Programming.	LPNMR	1995	DBLP DOI BibTeX RDF
1	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	On Logical Constraints in Logic Programming.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Phan Minh Dung, Tran Cao Son	Nonmonotonic Inheritance, Argumentation and Logic Programming.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Carlos Viegas Damásio, Luís Moniz Pereira	Abduction over 3-Valued Extended Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	João C. P. da Silva, Sheila R. M. Veloso	A Sphere World Semantics for Default Reasoning.	LPNMR	1995	DBLP DOI BibTeX RDF
1	David Pearce 0001	Nonmonotonicity and Answer Set Inference.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Jürgen Kalinski	Stable Classes and Operator Pairs for Disjunctive Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Melvin Fitting	Annotated Revision Specification Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Chiaki Sakama, Katsumi Inoue	Embedding Circumscriptive Theories in General Disjunctive Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Laura Giordano 0001, Alberto Martelli, Nicola Olivetti	Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Cees Witteveen, Wiebe van der Hoek	Revision by Communication.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Robert F. Stärk	A Transformation of Propositional Prolog Programs into Classical Logic.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Howard A. Blair	Game Characterizations of Logic Program Properties.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Stefan Brass, Jürgen Dix	Characterizations of the Stable Semantics by Partial Evaluation.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini	An Operator for Composing Deductive Databases with Theories of Constraints.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Alexander Bochman	Default Consequence Relations as a Logical Framework for Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Marc Denecker	A Terminological Interpretation of (Abductive) Logic Programming.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Francesca Toni, Antonis C. Kakas	Computing the Acceptability Semantics.	LPNMR	1995	DBLP DOI BibTeX RDF
1	Michael Gelfond, Halina Przymusinska	Reasoning on Open Domains.	LPNMR	1993	DBLP BibTeX RDF
1	Georg Gottlob	Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract).	LPNMR	1993	DBLP BibTeX RDF
1	David Pearce 0001	Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms.	LPNMR	1993	DBLP BibTeX RDF
1	Wolf Kohn, Anil Nerode	Autonomous Control of Hybrid Systems with Declarative Controllers.	LPNMR	1993	DBLP BibTeX RDF
1	Luís Moniz Pereira, Anil Nerode (eds.)	Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993	LPNMR	1993	DBLP BibTeX RDF
1	Gerhard Brewka	An Abductive Framework for Generalized Logic Programs.	LPNMR	1993	DBLP BibTeX RDF
1	Stefania Costantini	Contributions to the Stable Model Semantics of Logic Programs with Negation.	LPNMR	1993	DBLP BibTeX RDF
1	Wlodzimierz Drabent	SLS-Resolution without Floundering.	LPNMR	1993	DBLP BibTeX RDF
1	Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi	Negation as Partial Failure.	LPNMR	1993	DBLP BibTeX RDF
1	P. Geerts, Dirk Vermeir	A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information.	LPNMR	1993	DBLP BibTeX RDF
1	José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira	Scenario Semantics of Extended Logic Programs.	LPNMR	1993	DBLP BibTeX RDF
1	Douglas R. Busch	A Sequent Axiomatization of Three-valued Logic with Two Negations.	LPNMR	1993	DBLP BibTeX RDF
1	Piero A. Bonatti	Autoepistemic Logic Programming.	LPNMR	1993	DBLP BibTeX RDF
1	Artur Mikitiuk, Miroslaw Truszczynski	Rational Default Logic and Disjunctive Logic Programming.	LPNMR	1993	DBLP BibTeX RDF
1	Fangqing Dong, Laks V. S. Lakshmanan	Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract).	LPNMR	1993	DBLP BibTeX RDF
1	Yehoshua Sagiv	Tools for Deductive Databases (Abstract).	LPNMR	1993	DBLP BibTeX RDF
1	L. Thorne McCarty, Ron van der Meyden	An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).	LPNMR	1993	DBLP BibTeX RDF
1	Chiaki Sakama, Katsumi Inoue	Relating Disjunctive Logic Programs to Default Theories.	LPNMR	1993	DBLP BibTeX RDF
1	Marc Denecker, Danny De Schreye	Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs.	LPNMR	1993	DBLP BibTeX RDF
1	Andrei Bondarenko, Francesca Toni, Robert A. Kowalski	An Assumption-Based Framework for Non-Monotonic Reasoning.	LPNMR	1993	DBLP BibTeX RDF
1	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Stable Semantics by Linear Programming.	LPNMR	1993	DBLP BibTeX RDF
1	Martin Müller 0001, Jürgen Dix	Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract).	LPNMR	1993	DBLP BibTeX RDF
1	Alberto Torres	Negation as Failure to Support.	LPNMR	1993	DBLP BibTeX RDF
1	Gerd Wagner 0001	Reasoning with Inconsistency in Extended Deductive Databases.	LPNMR	1993	DBLP BibTeX RDF
1	V. Wiktor Marek, Miroslaw Truszczynski	Reflective Autoepistemic Logic and Logic Programming.	LPNMR	1993	DBLP BibTeX RDF

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