- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Design and results of the Fifth Answer Set Programming Competition
Artificial Intelligence 231 (C):151-181 (2016)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Design and results of the Second International Competition on Computational Models of Argumentation.Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea & Stefan Woltran - 2020 - Artificial Intelligence 279 (C):103193.
Mechanism Design: A Linear Programming Approach.Rakesh V. Vohra - 2011 - Cambridge University Press.
Hybrid Answer Set Programming.Alex Brik & Jeffrey Remmel - 2014 - Annals of Pure and Applied Logic 165 (1):134-163.
Author’s Response: Programming as a Playground for Computational Thinking Development.Jiří Vaníček - 2019 - Constructivist Foundations 14 (3):379-381.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
A reductive semantics for counting and choice in answer set programming.Vladimir Lifschitz - unknown
A Guide to Programming Logic and Design: Comprehensive.Joyce Farrell - 1999 - Course Technology Ptr.
Programming Language Implementation and Logic Programming 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991 : Proceedings'.J. Malszy Nski & Martin Wirsing - 1991
Theoretical Computer Science Selected Papers of the Symposium on Programming Language Implementation and Logic Programming , Passau, Germany, 26-28 August, 1991.J. Malszy Nski & Martin Wirsing - 1995 - Elsevier.
Object-oriented ontology, or programming's creative fold.Aden Evens - 2006 - Angelaki 11 (1):89 – 97.
Analytics
Added to PP
2020-12-22
Downloads
19 (#801,562)
6 months
15 (#168,953)
2020-12-22
Downloads
19 (#801,562)
6 months
15 (#168,953)
Historical graph of downloads
Author's Profile
Citations of this work
Design and results of the Second International Competition on Computational Models of Argumentation.Sarah A. Gaggl, Thomas Linsbichler, Marco Maratea & Stefan Woltran - 2020 - Artificial Intelligence 279 (C):103193.
Paracoherent answer set computation.Giovanni Amendola, Carmine Dodaro, Wolfgang Faber & Francesco Ricca - 2021 - Artificial Intelligence 299 (C):103519.
Assessment of benchmarks for abstract argumentation.Jean-Guy Mailly & Marco Maratea - 2019 - Argument and Computation 10 (2):107-112.
Graph-based construction of minimal models.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2022 - Artificial Intelligence 313 (C):103754.
New models for generating hard random boolean formulas and disjunctive logic programs.Giovanni Amendola, Francesco Ricca & Miroslaw Truszczynski - 2020 - Artificial Intelligence 279 (C):103185.
References found in this work
Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.
Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.Alfonso E. Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti & Yannis Dimopoulos - 2009 - Artificial Intelligence 173 (5-6):619-668.
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-ldh8k uwo