Searching for "Propositional Reasoning." – sorted by Relevance.
-
Ten challenges in propositional reasoning and search
- Ten Challenges in Propositional Reasoning and Search Bart Selman, Henry Kautz, and David Mc
- Cited by 61 (3 self) – Add To MetaCart
-
Anytime Families of Tractable Propositional Reasoners
- Anytime Families of Tractable Propositional Reasoners Mukesh Dalal Columbia University Department
- Cited by 11 (4 self) – Add To MetaCart
-
A Proof Theory for Tractable Approximations of Propositional Reasoning
- for Tractable Approximations of Propositional Reasoning Fabio Massacci Dipartimento di Informatica e
- Cited by 1 (1 self) – Add To MetaCart
-
Semantics of an Efficient Propositional Reasoner : Preliminary Report
- Semantics of an Efficient Propositional Reasoner : Preliminary Report Mukesh Dalal y Columbia
- Cited by 2 (2 self) – Add To MetaCart
-
Solving Open Quasigroup Problems by Propositional Reasoning
- Solving Open Quasigroup Problems by Propositional Reasoning Hantao Zhang Department of Computer
- Cited by 13 (1 self) – Add To MetaCart
-
Improving first-order model searching by propositional reasoning and lemma learning
- Improving First-order Model Searching by Propositional Reasoning and Lemma Learning Zhuo Huang 1
- Cited by 1 (1 self) – Add To MetaCart
-
Fast Context Switching in Real-time Propositional Reasoning
- Appears in Proceedings of AAAI-97 Fast Context Switching in Real-time Propositional Reasoning P
- Cited by 28 (6 self) – Add To MetaCart
-
Ten challenges redux: Recent progress in propositional reasoning and search
- Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search Henry Kautz 1 and Bart
- Cited by 9 (0 self) – Add To MetaCart
-
ADS: a unified computational framework for some consistency and abductive based propositional
- . The idea behind this tool is that many types of different propositional reasoning can be expressed in terms
- Add To MetaCart
-
A Case Study in the Meta-Reasoning Procedure ND
- describe a meta-reasoning technique for improving the efficiency of propositional reasoning procedures
- Add To MetaCart

