Program of the Seventh International Symposium on Artificial Intelligence and Mathematics


Thursday, January 3, 2002

8:30 - 10:00: INVITED TUTORIAL

Endre Boros and Peter L. Hammer:

Logical Analysis of Data


10:00 - 10:30: Coffee break

Search

Knowledge and modelling

10:30

H. Zhang: A Randomization Strategy for Combinatorial Search

S.A. Cook, Y. Liu: A Complete Axiomatization for Blocks World

11:00

A. Van Gelder: Generalizations of Watched Literals for Backtracking Search

C. Michel: Exact Projection Functions for Floating Point Number Constraints

11:30

A. Van Gelder: Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution

W. M. Schorlemmer: Duality in Knowledge Sharing

12:00

E.M. Luks,A. Roy: Symmetry Breaking in Boolean Satisfiability

J. G. Stell: Part and Complement: Fundamental Concepts in Spatial Relations


12:30 - 14:00 Lunch (on your own)

Bio Informatics (invited session)

Logical Analysis of data (invited session)

14:00

Axel Bernal: Hidden Markov Models

Gabriele Alexe: Consensus-Type Algorithm for Spanned Pattern Generation

14:30

A. Bernal, K. Hovsepian, J.L. Lassez: Support Vector Machines

Sorin Alexe: Enumeration of Patterns in Discrete Datasets

15:00

J. Bernick, J.L. Lassez: Singular Value Decomposition

Ying Liu: Strong Pattern Generation and Applications to the Logical Analysis of Numerical Data


15:30 - 16:00: Coffee break

Bio Informatics II (invited session)

Programs and agents

16:00

John Graham: Agents in Bioinformatics

T. Elomaa, Matti Kaeaeriaeinen: The difficulty of reduced error pruning of leveled branching programs

16:30

K. Hovsepian, J.L. Lassez: Clustering

D. Guller: Semantics for fuzzy disjunctive programs with similarity

17:00

S.A. Oprisan: Quantitative measures of organizational degree induced by mobile agents


Evening: Conference Banquet