- 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
Solving logic program conflict through strong and weak forgettings
Artificial Intelligence 170 (8-9):739-778 (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
When Artificial Intelligence Meets Daoism.Fei Gai - 2021 - In Bing Song, Intelligence and Wisdom: Artificial Intelligence Meets Chinese Philosophers. Singapore: Springer Singapore. pp. 83-100.
A language and a program for stating and solving combinatorial problems.Jena-Lonis Lauriere - 1978 - Artificial Intelligence 10 (1):29-127.
Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.
Abstract argumentation frameworks with strong and weak constraints.Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi & Irina Trubitsyna - 2024 - Artificial Intelligence 336 (C):104205.
Weak AGM postulates and strong Ramsey Test: A logical formalization.Laura Giordano, Valentina Gliozzi & Nicola Olivetti - 2005 - Artificial Intelligence 168 (1-2):1-37.
Solving problems by formula manipulation in logic and linear inequalities.Louis Hodes - 1972 - Artificial Intelligence 3 (C):165-174.
Analytics
Added to PP
2020-12-22
Downloads
49 (#1,197,527)
6 months
9 (#1,252,818)
2020-12-22
Downloads
49 (#1,197,527)
6 months
9 (#1,252,818)
Historical graph of downloads
Author's Profile
Citations of this work
Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
Knowledge forgetting: Properties and applications.Yan Zhang & Yi Zhou - 2009 - Artificial Intelligence 173 (16-17):1525-1537.
Reasoning under inconsistency: A forgetting-based approach.Jérôme Lang & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):799-823.
Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.
Semantic forgetting in answer set programming.Thomas Eiter & Kewen Wang - 2008 - Artificial Intelligence 172 (14):1644-1672.
References found in this work
On strongest necessary and weakest sufficient conditions☆☆An earlier version of this paper was the co-winner of the Best Paper Award at KR2000.Fangzhen Lin - 2001 - Artificial Intelligence 128 (1-2):143-159.
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