Conferences in DBLP
Rina Dechter Constraints and Probabilistic Networks: A Look At The Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz Toward A Universal Inference Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Borchert , Christian Anger , Torsten Schaub , Miroslaw Truszczynski Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. [Citation Graph (0, 0)][DBLP ] Conf ] José Júlio Alferes , Federico Banti , Antonio Brogi , João Alexandre Leite Semantics for Dynamic Logic Programming: A Principle-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Michael Gelfond , J. Nelson Rushton Probabilistic Reasoning With Answer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka Answer Sets: From Constraint Programming Towards Qualitative Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Dimopoulos , Antonis C. Kakas , Loizos Michael Reasoning About Actions and Change in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Semra Dogandag , Paolo Ferraris , Vladimir Lifschitz Almost Definite Causal Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Michael Fink , Hans Tompits , Stefan Woltran Simplifying Logic Programs Under Uniform and Strong Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Axel Polleres Towards Automated Integration of Guess and Check Programs in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Kathrin Konczak , Thomas Linke , Torsten Schaub Graphs and Colorings for Answer Set Programming: Abridged Report. [Citation Graph (0, 0)][DBLP ] Conf ] Joohyung Lee Nondefinite vs. Definite Causal Theories. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Ilkka Niemelä , Miroslaw Truszczynski Logic Programs With Monotone Cardinality Atoms. [Citation Graph (0, 0)][DBLP ] Conf ] V. Wiktor Marek , Jeffrey B. Remmel Set Constraints in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Emilia Oikarinen , Tomi Janhunen Verifying the Equivalence of Logic Programs in the Disjunctive Case. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce , Agustín Valverde Uniform Equivalence for Equilibrium Logic and Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay Pelov , Marc Denecker , Maurice Bruynooghe Partial Stable Models for Logic Programs with Aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Pfeifer Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Orkunt Sabuncu , Ferda Nur Alpaslan , Varol Akman Using Criticalities as a Heuristic for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Cao Son , Enrico Pontelli Planning with Preferences Using Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Cao Son , Phan Huy Tu , Chitta Baral Planning with Sensing Actions and Incomplete Information Using Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Terrance Swift Deduction in Ontologies via ASP. [Citation Graph (0, 0)][DBLP ] Conf ] Hudson Turner Strong Equivalence for Causal Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Ward , John S. Schlipf Answer Set Programming with Clause Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Dongmo Zhang Properties of Iterated Multiple Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Tina Dell'Armi , Wolfgang Faber , Giuseppe Ielpa , Nicola Leone , Simona Perri , Gerald Pfeifer System Description: DLV with Aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen , Ilkka Niemelä GNT - A Solver for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Tomi Janhunen , Emilia Oikarinen LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Leone , Vincenzino Lio , Giorgio Terracina DLV DB: Adding Efficient Data Management Features to ASP. [Citation Graph (0, 0)][DBLP ] Conf ] Yuliya Lierler , Marco Maratea Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Lengning Liu , Miroslaw Truszczynski WSAT(CC) - A Fast Local-Search ASP Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Pontelli , Tran Cao Son , Islam Elkabani Smodels with CLP?A Treatment of Aggregates in ASP. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Sarsakov , Torsten Schaub , Hans Tompits , Stefan Woltran nlp: A Compiler for Nested Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 