Search results for "LPNMR"

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

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