Search results for "LPNMR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Loizos Michael, Antonis C. Kakas	Knowledge Qualification through Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Chitta Baral, Tran Cao Son, Enrico Pontelli	Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .	LPNMR	2009	DBLP DOI BibTeX RDF
1	Pedro Cabalar, David Pearce 0001, Agustín Valverde	A Revised Concept of Safety for General Answer Set Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca	An ASP-Based System for e-Tourism.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub	Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Joohyung Lee 0002, Ravi Palla	System f2lp - Computing Answer Sets of First-Order Formulas.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Viren Kumar, James P. Delgrande	Optimal Multicore Scheduling: An Application of ASP Techniques.	LPNMR	2009	DBLP DOI BibTeX RDF	clingo, edge cover, scheduling, multicore, ASP
1	Claire Lefèvre, Pascal Nicolas	The First Version of a New ASP Solver : ASPeRiX.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski	The Second Answer Set Programming Competition.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Nicola Leone	Exploiting ASP in Real-World Applications: Main Strengths and Challenges.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Guohua Liu	Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Victor Noël, Antonis C. Kakas	Gorgias-C: Extending Argumentation with Constraint Solving.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	The Conflict-Driven Answer Set Solver clasp: Progress Report.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Emilia Oikarinen, Matti Järvisalo	Max-ASP: Maximum Satisfiability of Answer Set Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang 0002	Weight Constraint Programs with Functions.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Jia-Huai You	Towards an Embedded Approach to Declarative Problem Solving in ASP.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Gerhard Brewka, Thomas Eiter	From Data Integration towards Knowledge Mediation.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner	An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano	Applying ASP to UML Model Validation.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Gerhard Brewka, Thomas Eiter	Argumentation Context Systems: A Framework for Abstract Group Argumentation.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Annamaria Bria, Wolfgang Faber 0001, Nicola Leone	nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli	Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Marc Meister, Khalil Djelloul, Jacques Robin	A Unified Semantics for Constraint Handling Rules in Transaction Logic.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Yi Zhou 0013, Fangzhen Lin, Yan Zhang 0003	General Default Logic.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca	Experimenting with Look-Back Heuristics for Hard ASP Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Torsten Schaub, Sven Thiele	GrinGo : A New Grounder for Answer Set Programming.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Wolfgang Faber 0001, Nicola Leone	On the Complexity of Answer Set Programming with Aggregates.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Chitta Baral, Gerhard Brewka, John S. Schlipf (eds.)	Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings	LPNMR	2007	DBLP DOI BibTeX RDF
1	Juan Carlos Nieves, Mauricio Osorio 0001, Ulises Cortés	Semantics for Possibilistic Disjunctive Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Edgardo Ferretti, Marcelo Errecalde, Alejandro Javier García, Guillermo Ricardo Simari	An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Marc Denecker, Joost Vennekens	Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Marcello Balduccini	cr-models: An Inference Engine for CR-Prolog.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Gayathri Namasivayam, Miroslaw Truszczynski	An Smodels System with Limited Lookahead Computation.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Michael Fink 0001, Reinhard Pichler, Hans Tompits, Stefan Woltran	Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Phan Huy Tu, Tran Cao Son, Enrico Pontelli	CPP: A Constraint Logic Programming Based Planner with Preferences.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Guohua Liu, Jia-Huai You	On the Effectiveness of Looking Ahead in Search for Answer Sets.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Ping Hou, Johan Wittocx, Marc Denecker	A Deductive System for PC(ID).	LPNMR	2007	DBLP DOI BibTeX RDF
1	Jorge Lobo 0001	Policy-Based Computing: From Systems and Applications to Theory.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni	Programming Applications in CIFF.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen	Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Emilia Oikarinen	Modularity in smodelsPrograms.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	clasp : A Conflict-Driven Answer Set Solver.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli 0001, Domenico Trimboli	The LP-OD System: Logic Programming Meets Outlier Detection.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Joohyung Lee 0002, Yuliya Lierler	Head-Elementary-Set-Free Logic Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Nicola Leone	Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Vladimir Lifschitz, David Pearce 0001, Agustín Valverde	A Characterization of Strong Equivalence for Logic Programs with Variables.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	Conflict-Driven Answer Set Enumeration.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Philippe Chapdelaine, Miki Hermann, Ilka Schnoor	Complexity of Default Logic on Generalized Conjunctive Queries.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran	Modularity Aspects of Disjunctive Stable Models.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir	Conditional Planning with External Functions.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Aaron Hunter 0001, James P. Delgrande, Joel Faber	Using Answer Sets to Solve Belief Change Problems.	LPNMR	2007	DBLP DOI BibTeX RDF
1	James P. Delgrande, Torsten Schaub, Hans Tompits	A Preference-Based Framework for Updating Logic Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski	The First Answer Set Programming System Competition.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	Debugging ASP Programs by Means of ASP.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Gang Wu, Jia-Huai You, Guohui Lin	Application of Smodels in Quartet Based Phylogeny Construction.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Martin Gebser, Torsten Schaub	Loops: Relevant or Redundant?	LPNMR	2005	DBLP DOI BibTeX RDF
1	Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.)	Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings	LPNMR	2005	DBLP DOI BibTeX RDF
1	Paolo Ferraris	On Modular Translations and Strong Equivalence.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Paolo Ferraris	Answer Sets for Propositional Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Joost Vennekens, Marc Denecker	An Algebraic Account of Modularity in ID-Logic.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso 0002	A DLP System with Object-Oriented Features.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Omar El-Khatib, Enrico Pontelli, Tran Cao Son	Integrating an Answer Set Solver into Prolog: ASP-PROLOG.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski	Approximating Answer Sets of Unitary Lifschitz-Woo Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluís Godo	Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming.	LPNMR	2005	DBLP DOI BibTeX RDF	Dialectical Reasoning, Logic Programming, Defeasible Argumentation
1	Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub	The nomore++ System.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Hai-Feng Guo	Mode-Directed Fixed Point Computation.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Guarded Open Answer Set Programming.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Kewen Wang 0001, Yan Zhang 0003	Nested Epistemic Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Yuliya Lierler	cmodels - SAT-Based Disjunctive Answer Set Solver.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Thomas Eiter, Wolfgang Faber 0001, Patrick Traxler	Testing Strong Equivalence of Datalog Programs - Implementation and Examples.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Lengning Liu, Miroslaw Truszczynski	Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Sergei P. Odintsov, David Pearce 0001	Routley Semantics for Answer Sets.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe	On the Local Closed-World Assumption of Data-Sources.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Wolfgang Faber 0001	Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler	Default Reasoning with Preference Within Only Knowing Logic.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Yin Chen 0005, Fangzhen Lin, Lei Li 0022	SELP - A System for Studying Strong Equivalence Between Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales	An Approximation of Action Theories of and Its Application to Conformant Planning.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Alberto Finzi, Thomas Lukasiewicz	Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Francesco Buccafurri, Gianluca Caminiti	A Social Semantics for Multi-agent Systems.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Emilia Oikarinen, Tomi Janhunen	circ2dlp - Translating Circumscription into Disjunctive Logic Programming.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Marek J. Sergot, Robert Craven	Some Logical Properties of Nonmonotonic Causal Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Susanne Grell, Kathrin Konczak, Torsten Schaub	nomore<: A System for Computing Preferred Answer Sets.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Alex Dekhtyar, Michael I. Dekhtyar	Revisiting the Semantics of Interval Probabilistic Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Wolfgang Faber 0001, Francesco Ricca	Solving Hard ASP Programs Efficiently.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Antonis C. Kakas, Loizos Michael, Rob Miller 0002	Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Islam Elkabani, Enrico Pontelli, Tran Cao Son	SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Nicola Leone, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati 0001, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina	Data Integration: a Challenging ASP Application.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner	Using Answer Set Programming for a Decision Support System.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe	An ID-Logic Formalization of the Composition of Autonomous Databases.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Michael Kifer	Nonmonotonic Reasoning in FLORA-2.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Francesco Calimeri, Giovambattista Ianni	External Sources of Computation for Answer Set Solvers.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Thomas Eiter, Michael Fink 0001, Ján Senko	KMonitor - A Tool for Monitoring Plan Execution in Action Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler	The Well Supported Semantics for Multidimensional Dynamic Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko	Lookahead in Smodels Compared to Local Consistencies in CSP.	LPNMR	2005	DBLP DOI BibTeX RDF
1	Kathrin Konczak, Ralf Vogel 0001	Abduction and Preferences in Linguistics.	LPNMR	2005	DBLP DOI BibTeX RDF

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