Volume 2, Number 1, March 2005

• 
  Paolo Lombardi: A model of adaptive vision system: application to pedestrian detection by an autonomous vehicle. 6-13
• 
  Monique Calisti, Nicoleta Neagu: Integrating constraint satisfaction techniques and software agents. 15-21
• 
  Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing interaction in combinatorial auction through social integrity constraints. 22-29
• 
  Francesca Rossi, Kristen Brent Venable, Toby Walsh: Aggregating preferences cannot be fair. 30-38
• 
  Stefania Costantini, Arianna Tocchio, Alessia Verticchio: Communication and trust in the DALI logic programming agent-oriented language. 39-46
• 
  Alessandro Farinelli, Luca Iocchi, Daniele Nardi, Fabio Patrizi: A Multi Agent System approach for emergency intervention: experimental analysis and evaluation. 47-53

Volume 2, Number 2, June 2005

• 
  Stefania Montani, Luigi Portinale, Riccardo Bellazzi, Giorgio Leonardi: Case Retrieval with Time Series Features. 15-23
• 
  Giovanni Pilato, Giorgio Vassallo, Agnese Augello, Maria Vasile, Salvatore Gaglio: Expert chat-bots for cultural heritage. 25-31
• 
  Lea Venturino, Tommaso Gramegna, Grazia Cicirelli, Giovanni Attolico, Arcangelo Distante: Self positioning of a mobile robot to observe pre-historic paints in a cave. 32-37
• 
  Giovanna Carlomagno, Nicola Mosca, Floriana Renna, Giovanni Attolico, Arcangelo Distante: Aroge: Aided recomposition of golden images. 38-44

Volume 2, Number 3, September 2005

• 
  Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti: Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. 13-20
• 
  Wolfgang Faber, Nicola Leone, Francesco Ricca: Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. 21-28
• 
  Nicola Policella, Riccardo Rasconi: Designing a Testset Generator for Reactive Scheduling. 29-36
• 
  Marco Benedetti: Hybrid Evaluation Procedures for QBF. 37-44
• 
  Marco Alberti, Federico Chesani: The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. 45-51

Volume 2, Number 4, December 2005

• 
  Francesco Amigoni: Map Building and Fragment Reassembly: Two Instances of The Same Problem? 5-12
• 
  Claudio Castellini: Automated Reasoning in Quantified Modal and Temporal Logics. 13-21
• 
  Domenico Ursino, Danilo De Benedetto, Pasquale De Meo, Giovanni Quattrone: Exploitation of the Intelligent Agent Technology in the Context of E-Government. 22-34
• 
  Guido Boella, Rossana Damiano: A Replanning Algorithm for Decision Theoretic Planning: Empirical Evaluation. 36-43
• 
  Abdelbaki Bouguerra, Lars Karlsson: PC-SHOP: A Probabilistic-Conditional Hierarchical Task Planner. 44-50
• 
  Alfonso Gerevini, Alessandro Saetti, Ivan Serina: Automated Planning with Numerical Variables in LPG. 51-57
• 
  Luca Iocchi, Daniele Nardi, Riccardo Rosati: Generation of Strong Cyclic Plans with Incomplete Information and Sensing. 58-65
• 
  Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: A Proposal for Planning with Graded Fluents and Actions. 66-73

last updated on Sat May 18 06:09:29 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page