AMAI 2004 - PDF Preprint Papers

AMAI 2004 International Symposium on Artificial Intelligence and Mathematics

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AMAI-2004 Paper

click to vote

AMAI
2004
Springer

168views Artificial Intelligence» more AMAI 2004»

New Look-Ahead Schemes for Constraint Satisfaction

14 years 4 months ago

Download rutcor.rutgers.edu

This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...

Kalev Kask, Rina Dechter, Vibhav Gogate

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	168	New Look-Ahead Schemes for Constraint Satisfaction	claim
2	164	A Framework for Sequential Planning in Multi-Agent Settings	claim
3	164	Extending Answer Sets for Logic Programming Agents	claim
4	158	Biased Minimax Probability Machine for Medical Diagnosis	claim
5	153	Approximate Probabilistic Constraints and Risk-Sensitive Optimization Criteria in Markov Decision Processes	claim
6	145	Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums	claim
7	140	Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions	claim
8	139	Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors	claim
9	135	Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming	claim
10	133	Explicit Manifold Representations for Value-Function Approximation in Reinforcement Learning	claim
11	132	Production Inference, Nonmonotonicity and Abduction	claim
12	129	Using Logic Programs to Reason about Infinite Sets	claim
13	122	Multi-Agent Dialogue Protocols	claim
14	118	Using the Central Limit Theorem for Belief Network Learning	claim
15	115	Go! - A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents	claim
16	113	Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes	claim
17	112	Analysis of Greedy Robot-Navigation Methods	claim
18	110	Deductive Algorithmic Knowledge	claim
19	107	The Expressive Rate of Constraints	claim
20	105	Improving Exact Algorithms for MAX-2-SAT	claim
21	104	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach	claim
22	101	Warped Landscapes and Random Acts of SAT Solving	claim
23	100	Heuristics for a Brokering Set Packing Problem	claim
24	98	Representing von Neumann-Morgenstern Games in the Situation Calculus	claim
25	97	The Complexity of Symmetry-Breaking Formulas	claim
26	96	Learning via Finitely Many Queries	claim
27	95	Bayesian Model Averaging Across Model Spaces via Compact Encoding	claim
28	94	Modeling and Reasoning with Star Calculus	claim
29	85	Generalized Opinion Pooling	claim
30	85	Logical Preference Representation and Combinatorial Vote	claim
31	76	Proving BDI Properties of Agent-Oriented Programming Languages	claim
32	75	Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits	claim
33	75	Programming Rational Agents in a Modal Action Logic	claim
34	74	On the Semantics of Deliberation in Indigolog - from Theory to Implementation	claim
35	65	A Discrete-Time Quantized-State Hopfield Neural Network	claim
36	64	Satisfiability-Based Algorithms for Boolean Optimization	claim
37	62	A Unifying Version-Space Representation	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers