AI Communications, Volume 20

Volume 20, Number 1, 2007

• Claudia Picardi, Paulo Salles, Franz Wotawa:
  An introduction to model-based systems. 1-6
  
• 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
  
• Gianluca Torta, Pietro Torasso:
  On the role of modeling causal independence for system model compilation with OBDDs. 17-26
  
• Gianfranco Lamperti, Marina Zanella, Davide Zanni:
  Incremental processing of temporal observations in Model-Based Reasoning. 27-37
  
• 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
  
• Bert Bredeweg, Paulo Salles, Tim Nuttle:
  Using exogenous quantities in qualitative models about environmental sustainability. 49-58
  
• Marta Domingo, Núria Agell, Xavier Parra, Mónica Sánchez, Cecilio Angulo:
  Using qualitative information to predict citizens' satisfaction. 59-65
  

Volume 20, Number 2, 2007

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

Volume 20, Number 3, 2007

• Olli Kamarainen, Hani El Sakkout:
  A framework for constructing complete algorithms based on local search. 135-150
  
• Iván Dotú, Pascal Van Hentenryck:
  Scheduling social tournaments locally. 151-162
  
• 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
  
• 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
  
• 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
  

Volume 20, Number 4, 2007

• Susanne Hoche, Andreas Nürnberger, Peter A. Flach:
  Network analysis in natural sciences and engineering. 229-230
  
• Daniel Bilar:
  Callgraph properties of executables. 231-243
  
• Ciro Cattuto, Christoph Schmitz, Andrea Baldassarri, Vito Domenico Pietro Servedio, Vittorio Loreto, Andreas Hotho, Miranda Grahl, Gerd Stumme:
  Network properties of folksonomies. 245-262
  
• Gabriela Kalna, Desmond J. Higham:
  A clustering coefficient for weighted networks, with application to gene expression data. 263-271
  
• Goran Z. Markovic, Dusan Teodorovic, Vladanka S. Acimovic-Raspopovic:
  Routing and wavelength assignment in all-optical networks based on the bee colony optimization. 273-285
  
• Rami Puzis, Yuval Elovici, Shlomi Dolev:
  Finding the most prominent group in complex networks. 287-296
  
• Ronald L. Westra, Goele Hollanders, Geert Jan Bex, Marc Gyssens, Karl Tuyls:
  The pattern memory of gene-protein networks. 297-311