Journal: Intelligenza Artificiale

Volume 2, Issue 4

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

Volume 2, Issue 3

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

Volume 2, Issue 2

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

Volume 2, Issue 1

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