Publications

  1. Cimatti Alessandro; Serafini Luciano, Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization, IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning, 1995, pp. 35-45
  2. Cimatti Alessandro; Serafini Luciano, Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study, Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, vol. 890, 1995, pp. 71-85, Springer
  3. Cimatti Alessandro; Serafini Luciano, Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance, First International Conference on Multiagent Systems, 1995, pp. 57-64, MIT Press
  4. Armando Alessandro; Cimatti Alessandro; E. Giunchiglia; P. Pecchiari; L. Spalazzi; Traverso Paolo, Flexible Planning by Integrating Multilevel Reasoning, in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE», vol. 4, 1995, pp. 401-412, ISSN: 0952-1976, Elsevier
  5. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Enrico Giunchiglia; Armando Alessandro, MRG: Building planners for real world complex applications, in «APPLIED ARTIFICIAL INTELLIGENCE», 1994, pp. 333-357, ISSN: 0883-9514, Taylor and Francis
  6. Giunchiglia Fausto; Armando Alessandro; Cimatti Alessandro; Traverso Paolo, First steps towards provably correct system synthesis of system code, CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems, 1994, pp. 28-30
  7. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Alessandro Armando; Paolo Pecchiari, MRG: sistema di ragionamento, in «AUTOMAZIONE E STRUMENTAZIONE», vol. 9, 1993, pp. 97-103, ISSN: 0005-1284, VNU Business Publications
  8. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Armando Alessandro; Paolo Pecchiari, MRG: un nucleo di ragionamento per un sistema integrato multifunzionale, in «SISTEMI INTELLIGENTI», vol. 3, 1993, pp. 435-460, ISSN: 1120-9550, il Mulino
  9. Traverso Paolo; Luca Spalazzi; Cimatti Alessandro, A planning language and a semantics for real world autonomous agents, 1993 Italian Planning Workshop, 1993
  10. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi, Beyond the single planning paradigm: introspective planning, 10th European Conference on Artificial Intelligence (ECAI 1992), 1992, pp. 643-647, Wiley
  11. Luca Spalazzi; Cimatti Alessandro; Traverso Paolo, Implementing planning as tactical reasoning, 3rd Annual Conference on Artificial Intelligence, Simulation & Planning in High Autonomy Systems (AIS`92), 1992, pp. 80-85, IEEE Computer Society
  12. Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Enrico Giunchiglia, Building planners with explicit control mechanism, 2nd International Symposium on Artificial Intelligence and Mathematics (ISAI 1992), 1992, pp. 195-202, AAAI Press
  13. Cimatti Alessandro; Traverso Paolo; Luca Spalazzi, Programming Planners with Flexible Architectures, AI and Cognitive Science `92, 1992, pp. 311-314, Springer Verlag
  14. Cimatti Alessandro; Traverso Paolo; Sandro Dalbosco; Armando Alessandro, Navigation by Combining Reactivity and Planning, Intelligent Vechicles `92 Symposium, 1992, pp. 265-270, IEEE Industrial Electronics
  15. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Paolo Pecchiari, A System for Multi-Level Reasoning, IMSA `92, International Workshop on New Models for Software Architecture, 1992, pp. 190-195
  16. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi, Tactics: extending the notion of plan, ECAI-92 Workshop `Beyond Sequential Planning`, 1992
  17. Giunchiglia Fausto; Traverso Paolo; Cimatti Alessandro; Luca Spalazzi; Sandro Dalbosco; Serafini Luciano; Enrico Giunchiglia; Armando Alessandro; Paolo Pecchiari, Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento, Automation 1992, 36th ANIPLA Conference, 1992, pp. 620-633, Pirella
  18. Giunchiglia Fausto; Cimatti Alessandro; Sandro Dalbosco; Traverso Paolo; Luca Spalazzi, MRG: un sistema di ragionamento distribuito per applicazioni complesse, Atti seconda giornata di lavoro del gruppo Intelligenza Artificiale Distribuita (DAI) dell`AI*IA, 1992

Recent Posts