Università di Bologna Facoltà di Ingegneria II Facoltà di Ingegneria DEIS

Site Structure

External Links

Publications

0
2008
Details
Type
Resource
Antonio Natali, Enrico Oliva, Cristina Bonanni
Model-driven Generation of Graphical Maps for e-Contents
3rd Italian Workshop on Eclipse Technologies, (Eclipse-IT 2008), 17-18 Novembre Bari.
Paper pdf
Experimenting with Stochastic Prolog as a Simulation Language
23º Convegno Italiano di Logica Computazionale (CILC'08), 2008                                 
Presentation pdf
Argumentation and Artifact for Dialog Support
5th International Workshop “Argumentation in Multi-Agent Systems” (ArgMAS 2008), 12 May 2008
Paper pdf
Enrico Oliva PhD Thesis,            
Argumentation and Artifacts for Intelligent Multi-agent Systems
PhD Thesis pdf
Enrico Oliva Peter McBurneyAndrea Omicini
Co-argumentation artifact for agent societies

Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 4946, April 2008.
Jounal pdf

2007
Details
Type
Resource
Argumentation and Artifact for Dialog Support.
Technical Report, ULCS-07-025.
Paper pdf
Using Eclipse in Building Model-driven e-Learning Supports
1rd International Conference on Eclipse Technologies (Eclipse - I 2007), Napoli, Italy, 4-5 October 2007.
Paper pdf
Co-argumentation artifact for agent societies
In: I. Rahwan, C. Reed and S. Parsons (Editors): Proceedings of the Fourth International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2007), Honolulu, USA, May 2007.
Paper pdf
bibtex
2006
Details
Type
Resource
Minority Game: A Logic-Based Approach in TuCSoN
Dagli Oggetti agli Agenti: Sistemi Grid, P2P e Self-*, AI*IA/TABOO Joint Workshop (WOA 2006), Catania, Italy, September 2006.
Paper pdf
bibtex
Simulation of Minority Game in TuCSoN
Dagli Oggetti agli Agenti: Sistemi Grid, P2P e Self-*, AI*IA/TABOO Joint Workshop (WOA 2006), Catania, Italy, September 2006.
Demo pdf
bibtex
Simulating Minority Game with TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), June 2006, Palermo, Italy. EUROSIS & ETI, 2006.
Paper pdf
bibtex
Alessandro Ricci, Mirko Viroli,Andrea Omicini, Luca Gardelli and Enrico Oliva
Cognitive stigmergy: A framework based on agents and artifacts
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), Hakodate, Japan, May 2006.
Paper pdf
bibtex
2005
Details
Type
Resource
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A framework for engineering interactions in Java-based component systems
4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), San Francisco (CA), USA, 27 August 2005
Paper pdf
bibtex
Alessandro Ricci, Mirko Viroli,Andrea Omicini, Luca Gardelli and Enrico Oliva
Cognitive stigmergy: A framework based on agents and artifacts
3rd European Workshop on Multi-Agent Systems (EUMAS 2005)
Paper pdf
bibtex

Events

2007
ACAI 2007: Logic for Artificial Intelligence. Advanced Course on Artificial Intelligence will be held on August 20-28th 2007, Leuven, Belgium. The courses:
  • Description Logics
  • Logic-based Knowledge Representation and Reasoning for the Semantic Web
  • Logic-based techniques for information integration.
  • Logic, Probability and Learning, or An introduction to Statistical Relational Learning
  • Knowledge representation and reasoning in ID-logic
  •  Constraint Programming
  • Logic-based agents
  • Action Planning: Recent Theoretical and Practical Advances
1st International Conference on Eclipse Technologies Eclipse – IT Universitità degli Studi di Napoli Federico II 5-6 Oct. 2007
Giornata di lavoro GULP: Applications of LP and related CL paradigms 9 Marzo 2007 Dipartimento di Ingegneria, Università di Ferrara, Ferrara
  • Inductive Logic Programming.
  • Answer Set Programmino
  • Constraint Programming Approaches to the Protein Structure Prediction Problem
16 marzo 2007 Dr. Guido Governatori School of Information Technology and Electrical Engineering dell' Università   di  Queensland (Australia)
  • Embedding Defeasible Logic in Logic Programming
  • DR-Contract: An Architecture for e-Contracts in Defeasible Logic
2006
11th International Workshop on Non-Monotonic Reasoning NMR Lake District, England, May 30 - June 1, 2006
1th Iteranational Conference on Computational Models of Argument COMMA The University of Liverpool, UK 11th - 12th September 2006
2005
12th International SPIN Workshop on Model Checking of Software - San Francisco, USA, August 2005
4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA, August 2005
4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, Utrecht, The Netherlands, July 2005
3rd International Workshop on Programming Multiagent Systems
Languages and tools PROMAS, Utrecht, The Netherlands, July 2005
7th European Agent Systems Summer School, Utrecht, The Netherlands, July 2005