AMAI 2002 - PDF Preprint Papers

AMAI 2002 International Symposium on Artificial Intelligence and Mathematics

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AMAI-2002 Paper

click to vote

AMAI
2002
Springer

123views Artificial Intelligence» more AMAI 2002»

A Complete Axiomatization for Blocks World

13 years 11 months ago

Download www.cs.toronto.edu

Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...

Stephen A. Cook, Yongmei Liu

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	123	A Complete Axiomatization for Blocks World	claim
2	120	Adaptable Boundary Sets	claim
3	118	Minimizing Output Error in Multi-Layer Perceptrons	claim
4	108	Approximate Qualitative Temporal Reasoning	claim
5	106	Probabilistic Argumentation Systems and Abduction	claim
6	104	Generalizations of Watched Literals for Backtracking Search	claim
7	101	An Algebraic Representation of Calendars	claim
8	89	Modeling Moving Objects over Multiple Granularities	claim
9	84	A Reasoning Model Based on the Production of Acceptable Arguments	claim
10	79	Nonmonotonicity and Compatibility Relations in Belief Structures	claim
11	78	Paraconsistent Declarative Semantics for Extended Logic Programs	claim
12	78	Quantum Mereotopology	claim
13	77	Strong Conditional Independence for Credal Sets	claim
14	73	Locally Strong Coherence in Inference Processes	claim
15	69	Semantic Granularity in Ontology-Driven Geographic Information Systems	claim
16	69	A Qualitative Approach to Syllogistic Reasoning	claim
17	68	An Empirical Test of Patterns for Nonmonotonic Inference	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers