- 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
On propositional definability
Artificial Intelligence 172 (8-9):991-1017 (2008)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Definability and commonsense reasoning.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1997 - Artificial Intelligence 93 (1-2):169-199.
Definability for model counting.Jean-Marie Lagniez, Emmanuel Lonca & Pierre Marquis - 2020 - Artificial Intelligence 281 (C):103229.
Loop-separable programs and their first-order definability.Yin Chen, Fangzhen Lin, Yan Zhang & Yi Zhou - 2011 - Artificial Intelligence 175 (3-4):890-913.
On the logic of cooperation and propositional control.Wiebe van der Hoek & Michael Wooldridge - 2005 - Artificial Intelligence 164 (1-2):81-119.
Conditional independence in propositional logic.Jérôme Lang, Paolo Liberatore & Pierre Marquis - 2002 - Artificial Intelligence 141 (1-2):79-121.
Compiling propositional weighted bases.Adnan Darwiche & Pierre Marquis - 2004 - Artificial Intelligence 157 (1-2):81-113.
Propositional and predicate logics of incomplete information.Marco Console, Paolo Guagliardo & Leonid Libkin - 2022 - Artificial Intelligence 302 (C):103603.
Fixed points in the propositional nonmonotonic logic.Grigory F. Shvarts - 1989 - Artificial Intelligence 38 (2):199-206.
On rational entailment for Propositional Typicality Logic.Richard Booth, Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2019 - Artificial Intelligence 277 (C):103178.
The computational complexity of propositional STRIPS planning.Tom Bylander - 1994 - Artificial Intelligence 69 (1-2):165-204.
Analytics
Added to PP
2020-12-22
Downloads
6 (#1,483,447)
6 months
3 (#1,209,684)
2020-12-22
Downloads
6 (#1,483,447)
6 months
3 (#1,209,684)
Historical graph of downloads
Author's Profile
Citations of this work
Definability for model counting.Jean-Marie Lagniez, Emmanuel Lonca & Pierre Marquis - 2020 - Artificial Intelligence 281 (C):103229.
Lost in translation: Language independence in propositional logic – application to belief change.Pierre Marquis & Nicolas Schwind - 2014 - Artificial Intelligence 206 (C):1-24.
References found in this work
A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.
A planning system for robot construction tasks.Scott Elliott Fahlman - 1974 - Artificial Intelligence 5 (1):1-49.
Failures of the interpolation lemma in quantified modal logic.Kit Fine - 1979 - Journal of Symbolic Logic 44 (2):201-206.
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-6686886f5-ktvwr uwo