AI 2005 - PDF Preprint Papers

AI 2005 Australian Conference on Artificial Intelligence

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AI-2005 Paper

click to vote

AI
2005
Springer

223views Artificial Intelligence» more AI 2005»

Towards a practical theory of reformulation for reasoning about physical systems

13 years 4 months ago

Download www.md.kth.se

In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...

Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...

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	223	Towards a practical theory of reformulation for reasoning about physical systems	claim
2	214	Integrating Web Content Clustering into Web Log Association Rule Mining	claim
3	213	Fast Protein Superfamily Classification Using Principal Component Null Space Analysis	claim
4	189	Unsupervised named-entity extraction from the Web: An experimental study	claim
5	188	A Comparative Study of Two Density-Based Spatial Clustering Algorithms for Very Large Datasets	claim
6	181	Adopt: asynchronous distributed constraint optimization with quality guarantees	claim
7	170	Semiotic schemas: A framework for grounding language in action and perception	claim
8	151	SWAMI: Searching the Web Using Agents with Mobility and Intelligence	claim
9	140	Automatic Identification of Parallel Documents With Light or Without Linguistic Resources	claim
10	135	Comparing Dimension Reduction Techniques for Document Clustering	claim
11	130	Multiagent Systems Viewed as Distributed Scheduling Systems: Methodology and Experiments	claim
12	129	Towards an Ontology-Based Spatial Clustering Framework	claim
13	128	Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving	claim
14	125	Asynchronous aggregation and consistency in distributed constraint satisfaction	claim
15	123	M. Dorigo and T. Stützle, Ant Colony Optimization	claim
16	117	The distributed breakout algorithms	claim
17	117	Choosing words in computer-generated weather forecasts	claim
18	116	Asynchronous backtracking without adding links: a new member in the ABT family	claim
19	112	: Compiling problem specifications into SAT	claim
20	111	MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability	claim
21	108	First Steps Towards Incremental Diagnosis of Discrete-Event Systems	claim
22	108	A logic-based model of intention formation and action for multi-agent subcontracting	claim
23	107	Connecting language to the world	claim
24	106	Learning to talk about events from narrated video in a construction grammar framework	claim
25	102	A theoretical framework on proactive information exchange in agent teamwork	claim
26	101	Generating Adaptive Multimedia Presentations Based on a Semiotic Framework	claim
27	100	The complexity of contract negotiation	claim
28	98	Incorporating Evidence in Bayesian Networks with the Select Operator	claim
29	97	Word sense disambiguation with pictures	claim
30	96	Processes and continuous change in a SAT-based planner	claim
31	96	On the consistency of cardinal direction constraints	claim
32	95	Automatic Acquisition of Gender Information for Anaphora Resolution	claim
33	92	Knowledge and communication: A first-order theory	claim
34	91	Heuristic Search Applied to Abstract Combat Games	claim
35	90	SCC-recursiveness: a general schema for argumentation semantics	claim
36	90	Introduction: Special Issue on Distributed Constraint Satisfaction	claim
37	89	Knowledge updates: Semantics and complexity issues	claim
38	89	Bayesian network modelling through qualitative patterns	claim
39	87	Instance Cloning Local Naive Bayes	claim
40	87	The emergence of compositional structures in perceptually grounded language games	claim
41	86	Partition-based logical reasoning for first-order and propositional theories	claim
42	86	An optimal coarse-grained arc consistency algorithm	claim
43	86	Explorations in engagement for humans and robots	claim
44	84	Voting Between Multiple Data Representations for Text Chunking	claim
45	83	Unifying tree decompositions for reasoning in graphical models	claim
46	82	On intelligence as memory	claim
47	81	Planning for a Mobile Robot to Attend a Conference	claim
48	81	Dynamically structuring, updating and interrelating representations of visual and linguistic discourse context	claim
49	80	Secure distributed constraint satisfaction: reaching agreement without revealing private information	claim
50	79	ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems	claim
51	79	The Impact of Feature Extraction on the Performance of a Classifier: kNN, Naïve Bayes and C4.5	claim
52	79	Protocols from perceptual observations	claim
53	78	On the logic of cooperation and propositional control	claim
54	76	Sensor networks and distributed CSP: communication, computation and complexity	claim
55	75	A Novel Use of VXML to Construct a Speech Browser for a Public-Domain SpeechWeb	claim
56	74	First order LUB approximations: characterization and algorithms	claim
57	73	Real-Time Decision Making for Large POMDPs	claim
58	72	Queuing Local Solutions in Distributed Constraint Satisfaction Systems	claim
59	70	Privacy Compliance Enforcement in Email	claim
60	70	A Supervised Learning Approach to Acronym Identification	claim
61	70	Probability and Equality: A Probabilistic Model of Identity Uncertainty	claim
62	65	Task-dependent qualitative domain abstraction	claim
63	62	Reasoning on UML class diagrams	claim
64	59	Analysis and Classification of Strategies in Electronic Negotiations	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers