Conferences in DBLP
Nicola Leone Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge Lobo Policy-Based Computing: From Systems and Applications to Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Lengning Liu , Gayathri Namasivayam , André Neumann , Torsten Schaub , Miroslaw Truszczynski The First Answer Set Programming System Competition. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello Balduccini cr-models: An Inference Engine for CR-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Brain , Martin Gebser , Jörg Pührer , Torsten Schaub , Hans Tompits , Stefan Woltran Debugging ASP Programs by Means of ASP. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar , David Pearce , Panos Rondogiannis , William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Chapdelaine , Miki Hermann , Ilka Schnoor Complexity of Default Logic on Generalized Conjunctive Queries. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , Torsten Schaub , Hans Tompits A Preference-Based Framework for Updating Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Joost Vennekens Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Faber , Nicola Leone On the Complexity of Answer Set Programming with Aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Faber , Nicola Leone , Marco Maratea , Francesco Ricca Experimenting with Look-Back Heuristics for Hard ASP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Fink , Reinhard Pichler , Hans Tompits , Stefan Woltran Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub Conflict-Driven Answer Set Enumeration. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Joohyung Lee , Yuliya Lierler Head-Elementary-Set-Free Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ping Hou , Johan Wittocx , Marc Denecker A Deductive System for PC(ID). [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen , Emilia Oikarinen , Hans Tompits , Stefan Woltran Modularity Aspects of Disjunctive Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz , David Pearce , Agustín Valverde A Characterization of Strong Equivalence for Logic Programs with Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Meister , Khalil Djelloul , Jacques Robin A Unified Semantics for Constraint Handling Rules in Transaction Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Davy Van Nieuwenborgh , Thomas Eiter , Dirk Vermeir Conditional Planning with External Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Huai You , Li-Yan Yuan , Guohua Liu , Yi-Dong Shen Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Zhou , Fangzhen Lin , Yan Zhang General Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrizio Angiulli , Gianluigi Greco , Luigi Palopoli , Domenico Trimboli The LP -OD System: Logic Programming Meets Outlier Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Benjamin Kaufmann , André Neumann , Torsten Schaub clasp : A Conflict-Driven Answer Set Solver.Citation Graph (0, 0)][DBLP ] Conf ] Martin Gebser , Torsten Schaub , Sven Thiele GrinGo : A New Grounder for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Hunter , James P. Delgrande , Joel Faber Using Answer Sets to Solve Belief Change Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Gayathri Namasivayam , Miroslaw Truszczynski An Smodels System with Limited Lookahead Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Mancarella , Fariba Sadri , Giacomo Terreni , Francesca Toni Programming Applications in CIFF. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Huy Tu , Tran Cao Son , Enrico Pontelli CPP: A Constraint Logic Programming Based Planner with Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Edgardo Ferretti , Marcelo Errecalde , Alejandro Javier García , Guillermo Ricardo Simari An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Guohua Liu , Jia-Huai You On the Effectiveness of Looking Ahead in Search for Answer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Carlos Nieves , Mauricio Osorio , Ulises Cortés Semantics for Possibilistic Disjunctive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Emilia Oikarinen Modularity in smodelsPrograms. [Citation Graph (0, 0)][DBLP ] Conf ] 