AI Communications, Volume 20

Volume 20, Number 1, 2007

Model-Based Systems

Claudia Picardi, Paulo Salles, Franz Wotawa:
An introduction to model-based systems. 1-6
Electronic Edition (link) BibTeX
Rafael Ceballos, María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle:
A compiled model for faults diagnosis based on different techniques. 7-16
Electronic Edition (link) BibTeX
Gianluca Torta, Pietro Torasso:
On the role of modeling causal independence for system model compilation with OBDDs. 17-26
Electronic Edition (link) BibTeX
Gianfranco Lamperti, Marina Zanella, Davide Zanni:
Incremental processing of temporal observations in Model-Based Reasoning. 27-37
Electronic Edition (link) BibTeX
Gabriela Calderón-Espinoza, Joaquim Armengol, Josep Vehí, Esteban R. Gelso:
Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms. 39-47
Electronic Edition (link) BibTeX
Bert Bredeweg, Paulo Salles, Tim Nuttle:
Using exogenous quantities in qualitative models about environmental sustainability. 49-58
Electronic Edition (link) BibTeX
Marta Domingo, Núria Agell, Xavier Parra, Mónica Sánchez, Cecilio Angulo:
Using qualitative information to predict citizens' satisfaction. 59-65
Electronic Edition (link) BibTeX

Marco Schaerf:
Obituary: Marco Cadoli (1965-2006) Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma. 69-70
Electronic Edition (link) BibTeX
José María Valls, Inés María Galván, Pedro Isasi:
LRBNN: A Lazy Radial Basis Neural Network model. 71-86
Electronic Edition (link) BibTeX
Chen Avin, Rachel Ben-Eliyahu-Zohary:
An upper bound on computing all X-minimal models. 87-92
Electronic Edition (link) BibTeX
Gianluca Torta, Pietro Torasso:
An on-line approach to the computation and presentation of preferred diagnoses for dynamic systems. 93-116
Electronic Edition (link) BibTeX
Geoff Sutcliffe:
The 3rd IJCAR Automated Theorem Proving Competition. 117-126
Electronic Edition (link) BibTeX
Ivan López-Arévalo:
Redesign support framework for complex technical processes (thesis abstract). 127-128
Electronic Edition (link) BibTeX
Roberto Ruiz:
New heuristics in feature selection for high dimensional data (thesis abstract). 129-131
Electronic Edition (link) BibTeX

Constraint Programming for Planning and Scheduling

Olli Kamarainen, Hani El Sakkout:
A framework for constructing complete algorithms based on local search. 135-150
Electronic Edition (link) BibTeX
Iván Dotú, Pascal Van Hentenryck:
Scheduling social tournaments locally. 151-162
Electronic Edition (link) BibTeX
Nicola Policella, Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
From precedence constraint posting to partial order schedules: A CSP approach to Robust Scheduling. 163-180
Electronic Edition (link) BibTeX
Lina Khatib, Paul H. Morris, Robert Morris, Francesca Rossi, Alessandro Sperduti, Kristen Brent Venable:
Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results. 181-209
Electronic Edition (link) BibTeX
Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim:
Search in the patience game 'Black Hole'. 211-226
Electronic Edition (link) BibTeX