The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Answer Set Programming"( http://dblp.L3S.de/Venues/Answer_Set_Programming )

URL (DBLP): http://dblp.uni-trier.de/db/conf/asp

Publication years (Num. hits)
2001 (32) 2003 (29) 2005 (24)
Publication types (Num. hits)
inproceedings(82) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 85 publication records. Showing 85 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giovambattista Ianni, Claudio Panetta, Francesco Ricca Specification of Assessment-test Criteria through ASP Specifications. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Marina De Vos, Alessandro Provetti (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005 Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker An Algebraic Account of Modularity in ID-logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Hans Tompits, Stefan Woltran Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ Approach to Answer Set Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Extending Conceptual Logic Programs with Arbitrary Rules. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Luis Tari, Chitta Baral, Saadat Anwar A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Yuliya Lierler Disjunctive Answer Set Programming via Satisfiability. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Yin Chen, Fangzhen Lin, Lei Li SELP - A System for Studying Strong Equivalence between Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Sabrina Baselice, Piero A. Bonatti, Michael Gelfond A Preliminary Report on Integrating of Answer Set and Constraint Solving. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir Intelligence Analysis Using Quantitative Preferences. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto Exploiting ASP for Semantic Information Extraction. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Vladimir Lifschitz What is a Logic Program. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Martin Brain, Richard Watson, Marina De Vos An Interactive Approach to Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos Debugging Logic Programs under the Answer Set Semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Magdalena Ortiz, Mauricio Osorio 0001 Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Giuliano Grossi, Massimo Marchi A New Algorithm for Answer Set Computation. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Kathrin Konczak, Ralf Vogel 0001 Abduction and Preferences in Linguistics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Pascal Nicolas, Claire Lefèvre Possibilistic Stable Model Computing. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Chiaki Sakama, Katsumi Inoue Combining Answer Sets of Nonmonotonic Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Sandeep Chintabathina, Michael Gelfond, Richard Watson Modeling Hybrid Domains Using Process Description Language. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Claudia Zepeda, Mauricio Osorio 0001, Juan Carlos Nieves, Christine Solnon, David Sol Applications of Preferences using Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro Answer Set Programming with Templates. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri Parametric Connectives in Disjunctive Logic Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Marcello Balduccini, Veena S. Mellarkod CR-Prolog with Ordered Disjunction. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo OntoDLP: a Logic Formalism for Knowledge Representation. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier Detection Using Default Logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Marc Denecker What's in a model? Epistemological analysis of Logic Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tomi Janhunen A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Ricca A Java Wrapper for DLV. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and coloring for answer set programming: Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman Using Criticalities as a Heuristics for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Yuliya Lierler, Marco Maratea Computing Answer Sets of a Logic Program via-enumeration of SAT certificates. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Stijn Heymans, Dirk Vermeir Integrating Semantic Web Reasoning and Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer Aggregate Functions in DLV. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Gerald Pfeifer, Stefan Woltran Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Piero A. Bonatti Finitary Open Logic Program. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Marina De Vos, Alessandro Provetti (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003 Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub Lukaszewicz-style Answer Set Programming: A Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Enrique Corona The A-Pol System. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Fernando Zacarias New properties on the update operator\oplus. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Claudia Zepeda Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Robert E. Mercer, Vincent Risch Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Translation of Aggregate Programs to Normal Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Linke Suitable Graphs for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Linke Using Nested Logic Programs for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Kathrin Konczak, Torsten Schaub, Thomas Linke Graphs and colorings for answer set programming: Abridged Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Richard Watson, Sandeep Chintabathina Modeling Hybrid Systems in Action Languages. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen Representing Configuration Knowledge With Weight Constraint Rules. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Stefania Costantini Comparing different graph representations of logic programs under the Answer Set semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Chiaki Sakama Learning by Answer Sets. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Pedro Cabalar Well Founded Semantics as Two dimensional Here and There. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Marc Denecker On the Epistemological foundations of Logic Programming and its Extensions. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Aarati Parmar A Declarative Implementation of Planning with Control. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Pascal Nicolas, Frédéric Saubion, Igor Stéphan Genes and Ants for Default Logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Marina De Vos, Dirk Vermeir Logic Programming Agents and Game Theory. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry An A Prolog decision support system for the Space Shuttle. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Alessandro Provetti, Tran Cao Son (eds.) Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001 Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Jay 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). Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Abduction in equilibrium logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Enrico Pontelli, Omar El-Khatib Exploiting Vertical Parallelism from Answer Set Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves, Chris Giannella Useful Transformations in Answer set programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Le-Chi Tuan, Chitta Baral Effect of knowledge representation on model based planning: experiments using logic programming encodings. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski Computing stable models in parallel. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari The Prospect for Answer Sets Computation by a Genetic Model. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1James D. Jones Sets as Terms for Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Keijo Heljanko, Ilkka Niemelä Answer Set Programming and Bounded Model Checking. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Ramón P. Otero Pertinence Logic Characterisation of Stable Models (Preliminary Report). Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Pinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu Specification of Workflow Process Using the Action Description Language C. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Howard A. Blair Dynamical Properties of Answer Set Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Joohyung Lee, Vladimir Lifschitz Additive Fluents. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Tran Cao Son, Chitta Baral, Sheila A. McIlraith Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Michael Gelfond, Joel Galloway Diagnosing Dynamic Systems in A Prolog. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski Tabular Constraint-Satisfaction Problems and Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Deborah East, Miroslaw Truszczynski More on Wire Routing with ASP. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Tran Cao Son, Jorge Lobo 0001 Reasoning about Policies using Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Torsten Schaub, Kewen Wang A Comparative Study of Logic Programs with Preference: Preliminary Report. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel On the Foundations of Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #85 of 85 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license