- 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
Forgetting auxiliary atoms in forks
Artificial Intelligence 275 (C):575-601 (2019)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
A polynomial reduction of forks into logic programs.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2022 - Artificial Intelligence 308 (C):103712.
Gilberto Perez (2019) The Eloquent Screen: A Rhetoric of Film.James Mulvey - 2022 - Film-Philosophy 26 (2):276-279.
Knowledge forgetting: Properties and applications.Yan Zhang & Yi Zhou - 2009 - Artificial Intelligence 173 (16-17):1525-1537.
On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.
Semantic forgetting in answer set programming.Thomas Eiter & Kewen Wang - 2008 - Artificial Intelligence 172 (14):1644-1672.
The problem of individuality in early scholasticism-thierrey-of-chartres, porretano, Gilberto and abelardo, Pedro.Jje Gracia - 1984 - Pensamiento 40 (158):203-221.
Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.
Reasoning under inconsistency: A forgetting-based approach.Jérôme Lang & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):799-823.
Logic programs with abstract constraint atoms: The role of computations.Lengning Liu, Enrico Pontelli, Tran Cao Son & Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (3-4):295-315.
Analytics
Added to PP
2020-12-22
Downloads
11 (#1,406,132)
6 months
4 (#1,227,078)
2020-12-22
Downloads
11 (#1,406,132)
6 months
4 (#1,227,078)
Historical graph of downloads
Author's Profile
Citations of this work
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
A polynomial reduction of forks into logic programs.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2022 - Artificial Intelligence 308 (C):103712.
Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.
References found in this work
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.
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-667477cd97-qfrlh dc2