- 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
Grounded fixpoints and their applications in knowledge representation
Artificial Intelligence 224 (C):51-71 (2015)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Safe inductions and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2018 - Artificial Intelligence 259 (C):167-185.
Basic knowledge and the normativity of knowledge: The awareness‐first solution.Paul Silva - 2022 - Philosophy and Phenomenological Research 104 (3):564-586.
The semantic representation of natural language.Michael Levison - 2012 - New York: Bloomsbury Academic.
Formal ontologies in biomedical knowledge representation.S. Schulz & L. Jansen - 2013 - In M.-C. Jaulent, C. U. Lehmann & B. Séroussi (eds.), Yearbook of Medical Informatics 8. pp. 132-146.
Livelli di rappresentazione: percorsi tra il naturale e l'artificiale.Federico Braga Illa - 1997 - Quattroventi.
Processi di rappresentazione, soggetto e società.Federico Braga Illa (ed.) - 1999 - Urbino: Quattro venti.
Inexplicit information.Robert C. Cummins - 1986 - In Myles Brand & Robert M. Harnish (eds.), The Representation of Knowledge and Belief. University of Arizona Press.
Locales, Nuclei, and Dragalin Frames.Guram Bezhanishvili & Wesley Holliday - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. London: College Publications. pp. 177-196.
Representing and using legal knowledge in integrated decision support systems: Datalex workstations. [REVIEW]Graham Greenleaf, Andrew Mowbray & Peter Dijk - 1995 - Artificial Intelligence and Law 3 (1-2):97-142.
I know how I know: perception, self-awareness, self-knowledge.Andrea Giananti - 2020 - Synthese 198 (11):10355-10375.
Knowledge representation by schemata in financial expert systems.P. Lévine & J. -Ch Pomerol - 1989 - Theory and Decision 27 (1-2):147-161.
Three Levels of Naturalistic Knowledge.Andreas Stephens - 2019 - In Peter Gärdenfors, Antti Hautamäki, Frank Zenker & Mauri Kaipainen (eds.), Conceptual Spaces: Elaborations and Applications. Cham, Switzerland: Springer Verlag.
Analytics
Added to PP
2020-12-22
Downloads
8 (#1,325,033)
6 months
3 (#984,719)
2020-12-22
Downloads
8 (#1,325,033)
6 months
3 (#984,719)
Historical graph of downloads
Citations of this work
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.Hannes Strass & Johannes Peter Wallner - 2015 - Artificial Intelligence 226 (C):34-74.
Fixpoint semantics for active integrity constraints.Bart Bogaerts & Luís Cruz-Filipe - 2018 - Artificial Intelligence 255 (C):43-70.
Safe inductions and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2018 - Artificial Intelligence 259 (C):167-185.
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
Fixed point semantics for stream reasoning.Christian Antić - 2020 - Artificial Intelligence 288 (C):103370.
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.
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-7c88c7cdf7-5t6bj uwo