Conferences in DBLP
Fabrizio Angiulli , Rachel Ben-Eliyahu-Zohary , Luigi Palopoli Outlier Detection Using Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Giovambattista Ianni , Giuseppe Ielpa , Adriana Pietramala , Maria Carmela Santoro Answer Set Programming with Templates. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Kathrin Konczak , Torsten Schaub , Thomas Linke Graphs and coloring for answer set programming: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Kathrin Konczak , Torsten Schaub , Thomas Linke Graphs and colorings for answer set programming: Abridged Report. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Leone , Simona Perri Parametric Connectives in Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yuliya Lierler , Marco Maratea Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Linke Suitable Graphs for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Linke Using Nested Logic Programs for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Mercer , Vincent Risch Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio Osorio , Enrique Corona The A-Pol System. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay Pelov , Marc Denecker , Maurice Bruynooghe Translation of Aggregate Programs to Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Ricca A Java Wrapper for DLV. [Citation Graph (0, 0)][DBLP ] Conf ] Stijn Heymans , Dirk Vermeir Integrating Semantic Web Reasoning and Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink , Hans Tompits , Stefan Woltran Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. [Citation Graph (0, 0)][DBLP ] Conf ] Marcello Balduccini , Veena Mellarkod CR-Prolog with Ordered Disjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Watson , Sandeep Chintabathina Modeling Hybrid Systems in Action Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Piero A. Bonatti Finitary Open Logic Program. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Brain , Marina De Vos Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Calimeri , Stefania Galizia , Massimo Ruffolo , Pasquale Rullo OntoDLP: a Logic Formalism for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio Osorio , Claudia Zepeda Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini , Andrea Formisano , Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio Osorio , Fernando Zacarias New properties on the update operator\oplus. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , M. Gharib , Robert E. Mercer , Vincent Risch , Torsten Schaub Lukaszewicz-style Answer Set Programming: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone , Gerald Pfeifer Aggregate Functions in DLV. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker What's in a model? Epistemological analysis of Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Wolfgang Faber , Michael Fink , Gerald Pfeifer , Stefan Woltran Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Orkunt Sabuncu , Ferda Nur Alpaslan , Varol Akman Using Criticalities as a Heuristics for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 