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 |
|