Conferences in DBLP
Le-Chi Tuan , Chitta Baral Effect of knowledge representation on model based planning: experiments using logic programming encodings. [Citation Graph (0, 0)][DBLP ] Conf ] James D. Jones Sets as Terms for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pinar Koksal , Nihan Kesim Cicekli , Ismail Hakki Toroslu Specification of Workflow Process Using the Action Description Language C. [Citation Graph (0, 0)][DBLP ] Conf ] Joohyung Lee , Vladimir Lifschitz Additive Fluents. [Citation Graph (0, 0)][DBLP ] Conf ] Victor W. Marek , Jeffrey B. Remmel On the Foundations of Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Nicolas , Frédéric Saubion , Igor Stéphan Genes and Ants for Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Aarati Parmar A Declarative Implementation of Planning with Control. [Citation Graph (0, 0)][DBLP ] Conf ] David Pearce , Agustín Valverde Abduction in equilibrium logic. [Citation Graph (0, 0)][DBLP ] Conf ] Monica Nogueira , Marcello Balduccini , Michael Gelfond , Richard Watson , Matthew Barry An A Prolog decision support system for the Space Shuttle. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Pontelli , Omar El-Khatib Exploiting Vertical Parallelism from Answer Set Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chiaki Sakama Learning by Answer Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Schaub , Kewen Wang A Comparative Study of Logic Programs with Preference: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Soininen , Ilkka Niemelä , Juha Tiihonen , Reijo Sulonen Representing Configuration Knowledge With Weight Constraint Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Cao Son , Chitta Baral , Sheila A. McIlraith Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Keijo Heljanko , Ilkka Niemelä Answer Set Programming and Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jay Halcomb , Adam Pease On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Joel Galloway Diagnosing Dynamic Systems in A Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Marina De Vos , Dirk Vermeir Logic Programming Agents and Game Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni , Giuliano Grossi , Alessandro Provetti , Vladik Kreinovich , Luis Tari The Prospect for Answer Sets Computation by a Genetic Model. [Citation Graph (0, 0)][DBLP ] Conf ] Howard A. Blair Dynamical Properties of Answer Set Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Cabalar Well Founded Semantics as Two dimensional Here and There. [Citation Graph (0, 0)][DBLP ] Conf ] Mauricio Osorio , Juan Carlos Nieves , Chris Giannella Useful Transformations in Answer set programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stefania Costantini Comparing different graph representations of logic programs under the Answer Set semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Ramón P. Otero Pertinence Logic Characterisation of Stable Models (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker On the Epistemological foundations of Logic Programming and its Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah East , Miroslaw Truszczynski More on Wire Routing with ASP. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Egly , Thomas Eiter , Volker Klotz , Hans Tompits , Stefan Woltran Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Raphael A. Finkel , Victor W. Marek , Neil Moore , Miroslaw Truszczynski Computing stable models in parallel. [Citation Graph (0, 0)][DBLP ] Conf ] Raphael A. Finkel , Victor W. Marek , Miroslaw Truszczynski Tabular Constraint-Satisfaction Problems and Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tran Cao Son , Jorge Lobo Reasoning about Policies using Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 