- 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
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence 162 (1-2):49-88 (2005)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The Psychology of Logical Reasoning.John Samuel Lindsey - 2000 - Dissertation, University of Virginia
Investigating Pre-School Children’s Ability to Formulate Logical Arguments.Vasiliki Pournantzi, Konstantinos Zacharos & Maria Angela Shiakalli - 2016 - Analytic Teaching and Philosophical Praxis 36 (1):89-109.
Logics for propositional determinacy and independence.Valentin Goranko & Antti Kuusisto - 2018 - Review of Symbolic Logic 11 (3):470-506.
An introduction to logical entropy and its relation to Shannon entropy.David Ellerman - 2013 - International Journal of Semantic Computing 7 (2):121-145.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Logic, reasoning and the logical constants (engl version of "Logica, ragionamento e constanti logische".Pascal Engel - unknown
Simple monadic theories and partition width.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (4):409-431.
A one-system theory that is not propositional.James E. Witnauer, Gonzalo P. Urcelay & Ralph R. Miller - 2009 - Behavioral and Brain Sciences 32 (2):228-229.
Logical knowledge and ordinary reasoning.Corine Besson - 2012 - Philosophical Studies 158 (1):59-82.
Analytics
Added to PP
2020-12-22
Downloads
8 (#1,249,165)
6 months
4 (#698,851)
2020-12-22
Downloads
8 (#1,249,165)
6 months
4 (#698,851)
Historical graph of downloads
Citations of this work
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.
Verifying time, memory and communication bounds in systems of reasoning agents.Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib - 2009 - Synthese 169 (2):385-403.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.
Observing, reporting, and deciding in networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2014 - Annals of Pure and Applied Logic 165 (3):812-836.
References found in this work
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.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.
Tree clustering for constraint networks.Rina Dechter & Judea Pearl - 1989 - Artificial Intelligence 38 (3):353-366.
Saturation, nonmonotonic reasoning and the closed-world assumption.Genevieve Bossu & Pierre Siegel - 1985 - Artificial Intelligence 25 (1):13-63.
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-7c76586df8-l2pxr uwo