MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

Reformulation for extensional reasoning
by Timothy L. Hinrichs, Michael R. Genesereth — 2007 — Proceedings of the Symposium on Abstraction, Reformulation, and Approximation
…Extensional Reasoning Timothy L. Hinrichs and Michael R. Genesereth Stanford University {thinrich…
Cited by 1 (1 self) – Add To MetaCart

Partition-edit-count: Naïve extensional reasoning in conditional probability judgment
by Craig R. Fox, Jonathan Levav — 2004 — Journal of Experimental Psychology: General
…–Edit–Count: Naive Extensional Reasoning in Judgment of Conditional Probability Craig R. Fox University of California…
Cited by 1 (0 self) – Add To MetaCart

in an extensional reasoning task
by William P. Neace, Steven Michaud, Lauren Bolling, Kate Deer, Ljiljana Zecevic
…, probability formats, or problem structure? A test of the nested-sets hypothesis in an extensional reasoning…
Add To MetaCart

Abstracting Allocation: The New new Thing
by Nick Benton — 2006 — In Computer Science Logic
… of fact. The ability to reason about optimized code is a benefit of our extensional approach compared…
Cited by 14 (4 self) – Add To MetaCart

Extensible Knowledge Representation: the Case of Description Reasoners
by Alex Borgida — 1999 — Journal of artificial intelligence research
…, and supports both intentional reasoning (subsumption) involving concepts, and extensional reasoning involving…
Cited by 4 (2 self) – Add To MetaCart

Acknowledgements
by Richard P. Larrick, Jack B. Soll, We Thank David Budescu, Bob Clemen, Tom Wallsten, Bob Winkler, Ilan Yaniv, Enrico Diecidue, Spyros Makridakis
… transparent (Experiment 2). Experiment 4 showed that flawed inferential rules and poor extensional reasoning…
Add To MetaCart

An Inference-Based Approach to the Interpretation of Discourse
by Bernd Ludwig, Günther Görz, Heinrich Niemann, Heinrich Niemann Forwiss — First Workshop on Inference in Computational Semantics (ICoS-1
…, while reasoning about the extensional meaning of utterances serves for realizing mixedinitiative…
Cited by 4 (2 self) – Add To MetaCart

Computational Complexity and Induction for Partial Computable Functions in Type Theory
by Robert L. Constable, Karl Crary — 1999 — In Preprint
… assertion within the logic, which we require in order to support extensional reasoning. 2.1 Type Theory…
Cited by 12 (7 self) – Add To MetaCart

IRIS- Integrated Rule Inference System
by Barry Bishop, Florian Fischer
…. The second reasoning task is query answering in regard to instances in the knowledge base (extensional…
Add To MetaCart

ESARLT Empirically Successful Automated Reasoning in Large Theories
by Geoff Sutcliffe, Josef Urban, Stephan Schulz, Geoff Sutcliffe, Stephan Schulz, Technische Universität München — 2007
… – Extensional Reasoning Tim Hinrichs and Michael Genesereth – Semantic Selection of Premisses for Automated…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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