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


Knowledge and modelling


H. Zhang: A Randomization Strategy for Combinatorial Search

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


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

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


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


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)


Axel Bernal: Hidden Markov Models

Gabriele Alexe: Consensus-Type Algorithm for Spanned Pattern Generation


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

Sorin Alexe: Enumeration of Patterns in Discrete Datasets


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


John Graham: Agents in Bioinformatics

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


K. Hovsepian, J.L. Lassez: Clustering

D. Guller: Semantics for fuzzy disjunctive programs with similarity


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

Evening: Conference Banquet