|
8:30 - 10:00: INVITED TUTORIAL Endre Boros and Peter L. Hammer: Logical Analysis of Data |
|
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 |
||
|
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 |
|
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 |