- 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
Extending and implementing the stable model semantics
Artificial Intelligence 138 (1-2):181-234 (2002)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The Refined Extension Principle for Semantics of Dynamic Logic Programming.Joao Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
An argument game for stable semantics.Martin Caminada & Yining Wu - 2008 - Logic Journal of the IGPL 17 (1):77-90.
Projecting sequential algorithms on strongly stable functions.Thomas Ehrhard - 1996 - Annals of Pure and Applied Logic 77 (3):201-244.
Expansions of models of ω-stable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
A note on the stable model semantics for logic programs.Michael Kaminski - 1997 - Artificial Intelligence 96 (2):467-479.
First-order stable model semantics with intensional functions.Michael Bartholomew & Joohyung Lee - 2019 - Artificial Intelligence 273 (C):56-93.
A labelling approach for ideal and stage semantics.Martin Caminada - 2011 - Argument and Computation 2 (1):1 - 21.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Using stable model semantics (SMODELS) in the causal calculator (CCALC).Semra Dogandag, F. Nur Alpaslan & Varol Akman - 2001 - In Semra Dogandag, F. Nur Alpaslan & Varol Akman (eds.), Proceedings of 10th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN).
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Analytics
Added to PP
2020-12-22
Downloads
11 (#1,130,421)
6 months
9 (#300,363)
2020-12-22
Downloads
11 (#1,130,421)
6 months
9 (#300,363)
Historical graph of downloads
Citations of this work
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.
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
Design and results of the Fifth Answer Set Programming Competition.Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca - 2016 - Artificial Intelligence 231 (C):151-181.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
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-55b469568f-qf88s uwo