MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Propositional Reasoning." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

435 documents found, showing 1 through 10. Next 10 →

ATOM

Ten challenges in propositional reasoning and search
by Bart Selman, Henry Kautz, David Mcallester — 1997
…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
by Mukesh Dalal — In Fourth International Symposium on Artificial Intelligence and Mathematics (AI/MATH-96
…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
by Fabio Massacci — 1997 — Proceedings of the Fifth Conference of the Italian Association for Artificial Intelligence (AI*IA-97), volume 1321 of Lecture Notes In Artificial Intelligence
… 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
by Mukesh Dalal — 1996 — in Proceedings of the Ninth Florida AI Research Symposium (FLAIRS-96
…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
by Hantao Zhang, Jieh Hsiang — 1994 — In Proceedings of the International Computer Symp
…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
by Zhuo Huang, Hantao Zhang, Jian Zhang — 2004 — Proc. 7th Int’l Conf. on Theory and Applications of Satisfiability Testing
…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
by Pandurang Nayak, Urang Nayak, Brian C. Williams — 1997 — In Proceedings of AAAI-97
…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
by Henry Kautz, Bart Selman — 2003 — In Proceedings of CP ’03
…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
by Daniel Le Berre
…. 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
by James Lu Jeffrey, James J. Lu, Jeffrey S. Rosenthal, Andrew E. Shaffer
… describe a meta-reasoning technique for improving the efficiency of propositional reasoning procedures…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB