Accepted Contributions

We are pleased to announce that the following contributions have been accepted for presentation during the 6th Int'l Symposium on Artificial Intelligence and Mathematics, Jan. 5-7, 2000 in Ft. Lauderdale, Florida.

1

 A. Albrecht
C.K. Wong

Inhomogeneous Markov Chains Applied to Pattern Classification

2

 Sergio A. Alvarez

Belief Combination by means of Frame Transformations

3

 Meriema
Belaidouni
Jin-Kao Hao

A measure of combinational landscape difficulty for the Metropolis algorithm

4

 Adam Cannon
Lenore Cowen

Approximation Algorithms for the Class Cover Problem

5

 Douglas Cenzer
Jeffrey Remmel
Amy Vanderbilt

Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels

6

 Victor Dalmau

A New Tractable Class of Constraint Satisfaction Problems

7

 Boi Faltings

Using topology for spatial reasoning

8

 Henning Fernau

Terminal distinguishable languages

9

 Martin Henz
Lim Yun Fong
Lua Seet Chong
Shi Xiao Ping
J. Paul Walser
Roland H. C. Yap

Solving Hierarchical Constraints over Finite Domains

10

 B. Jaumard
S. Lemaire
A. Parreira

A deductive approach for solving probabilistic logic problems

11

 Mohamed Yasser
Khayata
Daniel Pacholczyk

Qualitative Reasoning with Quantified Assertions

12

 Oliver Kullmann

An improved version of width restricted resolution

13

 Stephen Kwek

An Efficient Algorithm for Learning Upper Convex Polyhedra Using Membership Queries

14

 Alexei Lisitsa

Generalized vs formula circumscription over finite models

15

 Vasco M.
Manquinho
Joao Marques-Silva

On Solving Boolean Optimization with Satisfiability-Based Algorithms

16

 Fumiaki Okushi
Allen Van Gelder

Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination

17

 Gilles Richard

From disagreement sets to divergence levels in ILP

18

Tzachi Rosen

 Eugene Santos Jr.
Solomon Eyal Shimony

Reasoning with BKBs - Algorithms and Complexity

19

 Ken Satoh
Ryuichi Nakagawa

Discovering Critical Cases in Case-Based Reasoning

20

 Kay Chen Tan
Loo Hay Lee
Kenny Qili Zhu

Heuristics for Vehicle Routing Problem with Time Windows