6. AMAI 2000: Fort Lauderdale, Florida, USA

• Andreas Alexander Albrecht, Chak-Kuen Wong:
  Inhomogeneous Markov Chains Applied to Pattern Classification.
  Electronic Edition (link) BibTeX
• Sergio A. Alvarez:
  Belief Combination by means of Frame Transformations.
  Electronic Edition (link) BibTeX
• Meriema Belaidouni, Jin-Kao Hao:
  A measure of combinational landscape difficulty for the Metropolis algorithm.
  Electronic Edition (link) BibTeX
• Adam Cannon, Lenore Cowen:
  Approximation Algorithms for the Class Cover Problem.
  Electronic Edition (link) BibTeX
• Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt:
  Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels.
  Electronic Edition (link) BibTeX
• Víctor Dalmau:
  A New Tractable Class of Constraint Satisfaction Problems.
  Electronic Edition (link) BibTeX
• Boi Faltings:
  Using topology for spatial reasoning.
  Electronic Edition (link) BibTeX
• Henning Fernau:
  Terminal distinguishable languages.
  Electronic Edition (link) BibTeX
• Martin Henz, Lim Yun Fong, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap:
  Solving Hierarchical Constraints over Finite Domains.
  Electronic Edition (link) BibTeX
• Brigitte Jaumard, S. Lemaire, A. D. Parreira:
  A deductive approach for solving probabilistic logic problems.
  Electronic Edition (link) BibTeX
• Mohamed Yasser Khayata, Daniel Pacholczyk:
  Qualitative Reasoning with Quantified Assertions.
  Electronic Edition (link) BibTeX
• Oliver Kullmann:
  An improved version of width restricted resolution.
  Electronic Edition (link) BibTeX
• Stephen Kwek:
  An Efficient Algorithm for Learning Upper Convex Polyhedra Using Membership Queries.
  Electronic Edition (link) BibTeX
• Alexei Lisitsa:
  Generalized vs formula circumscription over finite models.
  Electronic Edition (link) BibTeX
• Vasco M. Manquinho, João P. Marques Silva:
  On Solving Boolean Optimization with Satisfiability-Based Algorithms.
  Electronic Edition (link) BibTeX
• Fumiaki Okushi, Allen Van Gelder:
  Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination.
  Electronic Edition (link) BibTeX
• Gilles Richard:
  From disagreement sets to divergence levels in ILP.
  Electronic Edition (link) BibTeX
• Tzachi Rosen, Eugene Santos Jr., Solomon Eyal Shimony:
  Reasoning with BKBs - Algorithms and Complexity.
  Electronic Edition (link) BibTeX
• Ken Satoh, Ryuichi Nakagawa:
  Discovering Critical Cases in Case-Based Reasoning.
  Electronic Edition (link) BibTeX
• Kay Chen Tan, Loo Hay Lee, Kenny Qili Zhu:
  Heuristics for Vehicle Routing Problem with Time Windows.
  Electronic Edition (link) BibTeX