- 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
Domain expansion for ASP-programs with external sources
Artificial Intelligence 233 (C):84-121 (2016)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
FLP answer set semantics without circular justifications for general logic programs.Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner & Jun Deng - 2014 - Artificial Intelligence 213 (C):1-41.
Pruning external minimality checking for answer set programs using semantic dependencies.Thomas Eiter & Tobias Kaminski - 2021 - Artificial Intelligence 290 (C):103402.
Data repair of inconsistent nonmonotonic description logic programs.Thomas Eiter, Michael Fink & Daria Stepanova - 2016 - Artificial Intelligence 239 (C):7-53.
Updating action domain descriptions.Thomas Eiter, Esra Erdem, Michael Fink & Ján Senko - 2010 - Artificial Intelligence 174 (15):1172-1221.
Semi-equilibrium models for paracoherent answer set programs.Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone & João Moura - 2016 - Artificial Intelligence 234 (C):219-271.
Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.
Blindness in pursuit of science (A Companion to the Philosophy of Science Editor - W. H. Newton-Smith).Ray Scott Percival - 2001 - Times Higher Education.
Problem Domain and Developmental Strategies -- A Study on the Logic of Competition and Development of Scientific Programs.Daiwie Fu - 1986 - Dissertation, Columbia University
The Tacit Rejection of Multiculturalism in American Philosophy Ph.D. Programs: The Case of Chinese Philosophy.Brian Bruya - 2015 - Dao: A Journal of Comparative Philosophy 14 (3):369-389.
Programs as Causal Models: Speculations on Mental Programs and Mental Representation.Nick Chater & Mike Oaksford - 2013 - Cognitive Science 37 (6):1171-1191.
Analytics
Added to PP
2020-12-22
Downloads
32 (#1,553,589)
6 months
3 (#1,844,187)
2020-12-22
Downloads
32 (#1,553,589)
6 months
3 (#1,844,187)
Historical graph of downloads
Citations of this work
LARS: A Logic-based framework for Analytic Reasoning over Streams.Harald Beck, Minh Dao-Tran & Thomas Eiter - 2018 - Artificial Intelligence 261 (C):16-70.
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications.Giovanni Amendola, Gianluigi Greco & Pierfrancesco Veltri - 2022 - Artificial Intelligence 302 (C):103606.
Pruning external minimality checking for answer set programs using semantic dependencies.Thomas Eiter & Tobias Kaminski - 2021 - Artificial Intelligence 290 (C):103402.
References found in this work
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.
The computational complexity of ideal semantics.Paul E. Dunne - 2009 - Artificial Intelligence 173 (18):1559-1591.
Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.
Combining answer set programming with description logics for the Semantic Web.Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer & Hans Tompits - 2008 - Artificial Intelligence 172 (12-13):1495-1539.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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