8. AMAI 2004:
Fort Lauderdale,
Florida,
USA
AI&M 1-2004, Eighth International Symposium on Artificial Intelligence and Mathematics, January 4-6, 2004, Fort Lauderdale, Florida, USA.
2004 BibTeX
@proceedings{DBLP:conf/amai/2004,
title = {AI{\&}M 1-2004, Eighth International Symposium on Artificial
Intelligence and Mathematics, January 4-6, 2004, Fort Lauderdale,
Florida, USA},
booktitle = {AMAI},
year = {2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Alexander Bochman:
Production Inference, Nonmonotonicity and Abduction.
Electronic Edition (link) BibTeX
- Stefan Boettcher, Gabriel Istrate, Allon G. Percus:
Spines of Random Constraint Satisfaction Problems: Definition and Impact on Computational Complexity.
Electronic Edition (link) BibTeX
- Martine Ceberio, François Modave:
Interval-Based Multicriteria Decision Making.
Electronic Edition (link) BibTeX
- Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel:
Using Logic Programs to Reason about Infinite Sets.
Electronic Edition (link) BibTeX
- Hubie Chen:
The Expressive Rate of Constraints.
Electronic Edition (link) BibTeX
- Ian Davidson, Minoo Aminian:
Using the Central Limit Theorem for Belief Network Learning.
Electronic Edition (link) BibTeX
- Dmitri A. Dolgov, Edmund H. Durfee:
Approximate Probabilistic Constraints and Risk-Sensitive Optimization Criteria in Markov Decision Processes.
Electronic Edition (link) BibTeX
- Ashutosh Garg, T. S. Jayram, Shivakumar Vaithyanathan, Huaiyu Zhu:
Generalized Opinion Pooling.
Electronic Edition (link) BibTeX
- Piotr J. Gmytrasiewicz, Prashant Doshi:
A Framework for Sequential Planning in Multi-Agent Settings.
Electronic Edition (link) BibTeX
- Yunsong Guo, Andrew Lim, Brian Rodrigues, Yi Zhu:
Heuristics for a Brokering Set Packing Problem.
Electronic Edition (link) BibTeX
- Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums.
Electronic Edition (link) BibTeX
- Gaofeng Huang, Andrew Lim:
A Simple Yet Effective Framework for Optimization Problems.
Electronic Edition (link) BibTeX
- Kaizhu Huang, Haiqin Yang, Irwin King, Michael R. Lyu, Laiwan Chan:
Biased Minimax Probability Machine for Medical Diagnosis.
Electronic Edition (link) BibTeX
- Amar Isli:
Combining Cardinal Direction Relations and Relative Relations in QSR.
Electronic Edition (link) BibTeX
- Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä:
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits.
Electronic Edition (link) BibTeX
- Gytis Karciauskas, Finn Verner Jensen, Tomás Kocka:
Parameter Reusing in Learning Latent Class Models.
Electronic Edition (link) BibTeX
- Kalev Kask, Rina Dechter, Vibhav Gogate:
New Look-Ahead Schemes for Constraint Satisfaction.
Electronic Edition (link) BibTeX
- Andrew C. Lee:
Learning via Finitely Many Queries.
Electronic Edition (link) BibTeX
- Debasis Mitra:
Modeling and Reasoning with Star Calculus.
Electronic Edition (link) BibTeX
- Apurva Mudgal, Craig A. Tovey, Sven Koenig:
Analysis of Greedy Robot-Navigation Methods.
Electronic Edition (link) BibTeX
- Justin Pearson:
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes.
Electronic Edition (link) BibTeX
- Riccardo Pucella:
Deductive Algorithmic Knowledge.
Electronic Edition (link) BibTeX
- Angelo C. Restificar, Peter Haddawy:
Inferring Utilities from Negotiation Actions.
Electronic Edition (link) BibTeX
- Haiou Shen, Hantao Zhang:
Improving Exact Algorithms for MAX-2-SAT.
Electronic Edition (link) BibTeX
- William D. Smart:
Explicit Manifold Representations for Value-Function Approximation in Reinforcement Learning.
Electronic Edition (link) BibTeX
- Dave A. D. Tompkins, Holger H. Hoos:
Warped Landscapes and Random Acts of SAT Solving.
Electronic Edition (link) BibTeX
- Miroslav N. Velev:
Using Automatic Case Splits and Efficient CNF Translation to Guide a SAT-solver when Formally Verifying Out-Of-Order Processors.
Electronic Edition (link) BibTeX
- Christopher D. Walton:
Multi-Agent Dialogue Protocols.
Electronic Edition (link) BibTeX
- Ke Yin, Ian Davidson:
Bayesian Model Averaging Across Model Spaces via Compact Encoding.
Electronic Edition (link) BibTeX
- Yi Zhu, Andrew Lim:
Crane Scheduling with Spatial Constraints: Mathematical Models and Solving Approaches.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:57:38 2009
by Michael Ley (ley@uni-trier.de)