Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas Eiter |
Data Integration and Answer Set Programming. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Angele, Eddie Mönch, Henrik Oppermann, Dirk Wenke |
Halo I: A Controlled Experiment for Large Scale Knowledge Base Development. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot |
Inference of Gene Relations from Microarray Data by Abduction. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
Platypus: A Platform for Distributed Answer Set Solving. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz, Ilkka Niemelä (eds.) |
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV with Aggregates. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hudson Turner |
Strong Equivalence for Causal Theories. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Pfeifer |
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kathrin Konczak, Thomas Linke, Torsten Schaub |
Graphs and Colorings for Answer Set Programming: Abridged Report. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joohyung Lee 0002 |
Nondefinite vs. Definite Causal Theories. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral, Michael Gelfond, J. Nelson Rushton |
Probabilistic Reasoning With Answer Sets. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Henry A. Kautz |
Toward A Universal Inference Engine. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Terrance Swift |
Deduction in Ontologies via ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz |
Almost Definite Causal Theories. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
nlp: A Compiler for Nested Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen, Ilkka Niemelä |
GNT - A Solver for Disjunctive Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marc Denecker, Eugenia Ternovska |
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Lierler, Marco Maratea |
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Leone, Vincenzino Lio, Giorgio Terracina |
DLVDB: Adding Efficient Data Management Features to ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman |
Using Criticalities as a Heuristic for Answer Set Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael |
Reasoning About Actions and Change in Answer Set Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Phan Huy Tu, Chitta Baral |
Planning with Sensing Actions and Incomplete Information Using Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
Answer Sets: From Constraint Programming Towards Qualitative Optimization. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | V. Wiktor Marek, Jeffrey B. Remmel |
Set Constraints in Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David Pearce 0001, Agustín Valverde |
Uniform Equivalence for Equilibrium Logic and Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Enrico Pontelli |
Planning with Preferences Using Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dongmo Zhang |
Properties of Iterated Multiple Belief Revision. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
Iterated belief revision, multiple belief revision, belief revision |
1 | Thomas Eiter, Axel Polleres |
Towards Automated Integration of Guess and Check Programs in Answer Set Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski |
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lengning Liu, Miroslaw Truszczynski |
WSAT(CC) - A Fast Local-Search ASP Solver. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite |
Semantics for Dynamic Logic Programming: A Principle-Based Approach. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
Partial Stable Models for Logic Programs with Aggregates. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen, Emilia Oikarinen |
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic Programs With Monotone Cardinality Atoms. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran |
Simplifying Logic Programs Under Uniform and Strong Equivalence. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rina Dechter |
Constraints and Probabilistic Networks: A Look At The Interface. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Tran Cao Son, Islam Elkabani |
Smodels with CLP?A Treatment of Aggregates in ASP. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Emilia Oikarinen, Tomi Janhunen |
Verifying the Equivalence of Logic Programs in the Disjunctive Case. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Ward, John S. Schlipf |
Answer Set Programming with Clause Learning. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chen Avin, Rachel Ben-Eliyahu-Zohary |
Algorithms for Computing X-Minimal Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dix |
A Computational Logic Approach to Heterogenous Agent Systems. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz |
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Christoph Koch 0001, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Chiaki Sakama |
Nonmonotonic Inductive Logic Programming. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres |
System Description: The DLVK Planning System. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Improving ASP Instantiators by Join-Ordering Methods. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Brewka |
On the Relationship between Defeasible Logic and Well-Founded Semantics. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | James P. Delgrande, Torsten Schaub, Hans Tompits |
plp: A Generic Compiler for Ordered Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
New Generation Systems for Non-monotonic Reasoning. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kewen Wang 0001 |
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Nicolas, Béatrice Duval |
Representation of Incomplete Knowledge by Induction of Default Theories. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Wolfgang Faber 0001, Miroslaw Truszczynski (eds.) |
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond, Marcello Balduccini, Joel Galloway |
Diagnosing Physical Systems in A-Prolog. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Reasoning with Open Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bert Van Nuffelen, Antonis C. Kakas |
A-system: Declarative Programming with Abduction. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Christian Anger, Kathrin Konczak, Thomas Linke |
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert Baumgartner, Sergio Flesca, Georg Gottlob |
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
Multi-adjoint Logic Programming with Continuous Semantics. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tomi Janhunen |
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tommi Syrjänen |
Omega-Restricted Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Ventos, Pierre Brézellec, Henry Soldano |
Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Balduccini, Michael Gelfond, Richard Watson 0003, Monica L. Nogueira |
The USA-Advisor: A Case Study in Answer Set Planning. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tommi Syrjänen, Ilkka Niemelä |
The Smodels System. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lefteris M. Kirousis, Phokion G. Kolaitis |
On the Complexity of Model Checking and Inference in Minimal Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Chitta Baral, Cenk Uyan |
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Lenzerini |
Data Integration Needs Reasoning. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Keijo Heljanko, Ilkka Niemelä |
Bounded LTL Model Checking with Stable Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ramón P. Otero |
psmodels: Stable Models Based on Pertinence. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Prototypes for Reasoning with Infinite Stable Models and Function Symbols. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits |
An Update Front-End for Extended Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Viegas Damásio, Luís Moniz Pereira |
Antitonic Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer |
Optimizing the Computation of Heuristics for Answer Set Programming Systems. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
E-RES: Reasoning about Actions, Events and Observations. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
Multi-dimensional Dynamic Knowledge Representation. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hudson Turner |
Strong Equivalence for Logic Programs and Default Theories (Made Easy). |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Deborah East, Miroslaw Truszczynski |
aspps - An Implementation of Answer-Set Programming with Propositional Schemata. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Norman Y. Foo, Dongmo Zhang, Yan Zhang 0003, Samir Chopra, Quoc Bao Vo |
Encoding Solutions of the Frame Problem in Dynamic Logic. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
relationships between formalisms, dynamic logic, frame problem |
1 | V. Wiktor Marek, Jeffrey B. Remmel |
On the Expressibility of Stable Logic Programming. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz |
Answer Set Planning (Abstract). |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Greco |
Minimal Founded Semantics for Disjunctive Logic Programming. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Cristinel Mateis |
Extending Disjunctive Logic Programming by T-norms. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
Annotated Revision Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David A. McAllester |
World-Modeling vs. World-Axiomatizing. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Rosati 0001 |
Towards First-Order Nonmonotonic Reasoning. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ilkka Niemelä, Patrik Simons, Timo Soininen |
Stable Model Semantics of Weight Constraint Rules. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer |
Pushing Goal Derivation in DLP Computations. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
Algorithms, Heuristics, Disjunctive Logic Programming |
1 | Marina De Vos, Dirk Vermeir |
On the Role of Negation in Choice Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
unfounded sets, game-theory, Logic programming, choice |
1 | Chiaki Sakama, Katsumi Inoue |
Updating Extended Logic Programs through Abduction. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fangzhen Lin, Kewen Wang 0001 |
From Causal Theories to Logic Programs (Sometimes). |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
disjunctive logic programs with classical negation, causal theories of actions, situation calculus |
1 | Antonis C. Kakas, Rob Miller 0002, Francesca Toni |
An Argumentation Framework of Reasoning about Actions and Change. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift |
Coherent Well-founded Annotated Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori |
A Comparison of Sceptical NAF-Free Logic Programming Approaches. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Leora Morgenstern |
Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Patrik Simons |
Extending the Stable Model Semantics with More Expressive Rules. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos |
Monotone Expansion of Updates in Logical Databases. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ján Sefránek |
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning |
1 | Baoqiu Cui, Terrance Swift, David Scott Warren |
A Case Study in Using Preference Logic Grammars for Knowledge Representations. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolutions for the Well-Founded Semantics. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz, Hudson Turner |
Representing Transition Systems by Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|