- 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
Fixpoint semantics for active integrity constraints
Artificial Intelligence 255 (C):43-70 (2018)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Lifting integrity constraints in binary aggregation.Umberto Grandi & Ulle Endriss - 2013 - Artificial Intelligence 199-200 (C):45-66.
Belief updating from integrity constraints and queries.Luc De Raedt & Maurice Bruynooghe - 1992 - Artificial Intelligence 53 (2-3):291-307.
Embedding justification theory in approximation fixpoint theory.Simon Marynissen, Bart Bogaerts & Marc Denecker - 2024 - Artificial Intelligence 331 (C):104112.
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
Heterogeneous active agents, I: Semantics.Thomas Eiter, V. S. Subrahmanian & George Pick - 1999 - Artificial Intelligence 108 (1-2):179-255.
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.Hannes Strass & Johannes Peter Wallner - 2015 - Artificial Intelligence 226 (C):34-74.
Active logic semantics for a single agent in a static world.Michael L. Anderson, Walid Gomaa, John Grant & Don Perlis - 2008 - Artificial Intelligence 172 (8-9):1045-1063.
Constitutional Framework for Artificial Intelligence.Dennis Neder - 2026 - Constitutional Framework for Ai.
Hendrik Kaptein, Henry Prakken and Bart verheij (eds): Review of legal evidence and proof: Statistics, stories, logic. [REVIEW]Douglas Walton - 2009 - Artificial Intelligence and Law 17 (4):371-377.
Computational semantics: an introduction to artificial intelligence and natural language comprehension.Eugene Charniak & Yorick Wilks (eds.) - 1976 - New York: distributors for the U.S.A. and Canada, Elsevier/North Holland.
Analytics
Added to PP
2020-12-22
Downloads
41 (#1,355,281)
6 months
4 (#1,749,342)
2020-12-22
Downloads
41 (#1,355,281)
6 months
4 (#1,749,342)
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.
Safe inductions and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2018 - Artificial Intelligence 259 (C):167-185.
Embedding justification theory in approximation fixpoint theory.Simon Marynissen, Bart Bogaerts & Marc Denecker - 2024 - Artificial Intelligence 331 (C):104112.
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.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.
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