Viviana Patti - Curriculum Vitae et Studiorum
Biographical
Born 11 February 1971 in Torino, Italy.
In short
Viviana Patti (http://www.di.unito.it/~patti) received her Ph.D. in Computer
Science in 2002 from the University of Torino and she is a researcher in
Computer Science at the Faculty of Science of the University of Torino since
2005. She is author of more than 50 scientific papers, published in
conference proceedings, books, national and international scientific journals.
Her research interests include: knowledge representation and computational
logic, computational logics for agent programming, reasoning enabling
personalization in the semantic web, formal methods for selection and
composition of web services, web service interoperability and conformance
verification, web-based education courseware and curricula. She has been
involved in the organization of a number of national and internationals
workshops and conferences mainly in the fields "Personalization in the
Semantic Web", "Web Information systems and Technologies" and "Rational
agents". Since 1998, she has been involved in different research Italian
projects. She is member of the European network of excellence of the 6th
framework REWERSE (Reasoning on the Web with Rules and Semantics).
Education, research positions and visits
•
•
•
•
•
•
•
•
1990: maturità classica at the Liceo Classico V. Alfieri of Torino (60/60)
1996: Degree summa cum laude in Philosophy at University of Torino, Italy
1997-2002: PhD studies in Computer Science at Dipartimento di
Informatica, University of Torino, Italy.
2002, February: PhD in Computer Science at the University of Torino. Title
of the dissertation: Programming Rational Agents: a Modal Approach in a
Logic Programming Setting. PhD advisor: Prof. Alberto Martelli.
2003-2004: Post-Doc grantee at University of Torino, Italy.
Since 2005: permanent position as a researcher associate in Computer
Science at Dipartimento di Informatica, University of Torino. She is a
member of the Logic Programming and Automated Reasoning gruop,
directed by Prof. Alberto Martelli.
February 2006: visiting researcher at the Institut für Verteilte SystemeFachgebiet Wissensbasierte Systeme (KBS) & L3S, University of Hannover,
DE.
October 2007: visiting researcher at the Department of Computer Science,
North Carolina State University, Raleigh, USA.
Research Interests
•
•
•
•
•
•
•
•
•
•
reasoning enabling personalization in the semantic web
(semantic) web services and formal methods for selection and composition
web service interoperability and conformance
knowledge representation and computational logic
intelligent content and semantics
capturing semantics in social tagging systems
web-based education courseware and curricula
modal and nonmonotonic extensions of logic programming
applications of computational logics for agent programming
reasoning about actions and change
National and International Cultural and Research Projects
•
•
•
•
•
•
1998-2000: Agenti intelligenti: interazione e acquisizione di conoscenza,
task 'Agent System Architectures and Reasoning Techniques' (cofin MURST
national project); coordinator Prof. F. Turini (U. of Pisa).
2003-2004: Sviluppo e verifica di sistemi multi-agente basati sulla logica
(MIUR PRIN national project); coordinator: A. Martelli, U. of Turin.
2005-2007: Specification and verification of agent interaction protocols,
MIUR PRIN national project; Coordinator: A. Martelli, U. of Turin.
Since 2004: member of the European network of excellence of the VI
framework REWERSE (Reasoning on the Web with Rules and Semantics,
http://www.rewerse.net); coordinator F. Bry (U. of Munich).
Since 2007: co-founder and vice-president of the Associatione Culturale
Arsmeteo which leads and supports the development of ARSMETEO
(www.arsmeteo.org), a portal for sharing artworks based on Web 2.0
technologies, which allows art tagging and tag-based browsing.
2007/2008: Capturing Semantics in Social Tagging Systems;, slected for
Programma Vigoni, bando 2007-2008. Coordinators: Prof.ssa C. Baroglio
(Italy), Prof. N. Henze (Germany).
Organizational activities, PCs and evaluation committees
Viviana Patti has been involved in the organization of a number of national
and internationals workshops and conferences mainly in the fields
"Rational agents", "Personalization in the Semantic Web", "Web Information
systems and Technologies" and she is an active referee of important
international conferences. She is currently member of the program
committee
of
various
workshops/conferences,
among
which
AWESOME'007, WOA07, WWW/Internet 2007, SMAP 2007-08, WEBIST
2007-08. In 2006 she has been a member of the evaluation committee
selecting the suitable candidates for the following call for technical staff
position at the University of Torino (in italian):
•
•
selezione pubblica mediante corso concorso per la copertura di 9 posti di categoria D area tecnica, tecnico scientifica ed elaborazione dati- settore ricerca -area tecnico
scientifica- codice selezione n. 8cc, presso l'Università di Torino.
selezione di progressione verticale mediante corso concorso per la copertura di 9 posti
di categoria D -area tecnica, tecnico scientifica ed elaborazione dati- settore ricerca area tecnico scientifica- codice selezione n. 7mvc, presso l'Università di Torino.
University Teaching Experience
Courses Taught at University of Torino
•
•
•
•
•
Deduzione Automatica – Laurea magistrale in Logica Computazionale,
Corso di Studi di Informatica, a.a. 2004/05
Informatica II – Laurea Triennale in Scienze e Turismo Alpino, Interfacoltà,
a.a. 2004/05, 2005/06, 2006/07
Tecniche della Comunicazione Web - Laurea Triennale in Scienze e
Cultura delle Alpi, Interfacoltà, a.a. 2007/08
Aspetti Informatici della Gestione del Dato- Corso Concorso Settore
Ricerca - Università di Torino, Area Tecnico Scientifica 8CC, 15CC, 7MVC,
14MVC, 2° settore formativo, 2006
Strumenti di Sviluppo - Master Universitario in Tecnologia e
Comunicazione Multimediale (MATEC – COREP), Master Universitario di I
livello dell’Università degli Studi di Torino, since the VI to the XII edition.
Courses Taught at University of Piemonte Orientale (Novara)
•
Informatica di Base – Laurea triennale del corso di laurea in biotecnologie,
Università del Piemonte Orientale, sede di Novara, since a.a. 2002/03 to
a.a. 2004/05.
Publications
PhD Thesis
•
V. Patti. Programming Rational Agents: a Modal Approach in a Logic
Programming Setting. PhD thesis, Dipartimento di Informatica, Università
degli Studi di Torino, Italy, 2002.
International Journals
•
•
•
•
•
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Reasoning
on choreographies and capability requirements. International Journal of
Business Process Integration and Management, IJBPIM. To appear.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about
interaction protocols for customizing web service selection and composition.
Journal of Logic and Algebraic Programming, special issue on Web Services
and Formal Methods, 70(1):53-73, January 2007.
G. Antoniou, M. Baldoni, C. Baroglio, R. Baungartner, F. Bry, T. Eiter,
N. Henze, M. Herzog, W. May, V. Patti, S. Schaffert, R. Schidlauer, and
H. Tompits. Reasoning Methods for Personalization on the Semantic Web.
Annals of Mathematics, Computing & Teleinformatics (AMCT), 2(1):1-24,
2004.
M. Baldoni, C. Baroglio, and V. Patti. Web-based adaptive tutoring: an
approach based on logic agents and reasoning about actions. Artificial
Intelligence Review, 22(1):3-39, 2004.
M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Programming Rational
Agents in a Modal Action Logic. Annals of Mathematics and Artificial
Intelligence, Special issue on Logic-Based Agent Implementation, 41(24):207-257, 2004.
National Journals
•
•
M. Baldoni, C. Baroglio, G. Berio, A. Martelli, V. Patti, M.L. Sapino,
C. Schifanella, M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, S. Storari,
F. Chesani, A. Ciampolini, P. Mello, M. Montali, P. Torroni, A. Bottrighi,
L. Giordano, V. Gliozzi, G.L. Pozzato, D. Theseider Dupré, P. Terenziani,
G. Casella, and V. Mascardi. Modeling, verifying and reasoning about web
services. Intelligenza Artificiale, accepted for publication, to appear.
V. Patti. Programming Rational agents: a Modal Approach in a Logic
Programming Setting. AI*IA Notizie, XV(2):24-29, June 2002.
Chapters in Books
•
•
M. Baldoni, C. Baroglio, A. Martelli, and Patti. Verification of protocol
conformance and agent interoperability. In F. Toni and P. Torroni, editors,
Post-Proc. of Sixth International Workshop on Computational Logic in MultiAgent Systems, CLIMA VI, volume 3900 of LNCS State-of-the-Art Survey,
pages 265-283. Springer, 2006.
M. Nagy and V. Patti. Lexical gender in Hungarian: Reflections of Social
Structures in an Electronic Corpus. In E.-M. Thüne, S. Leonardi, and
C. Bazzanella, editors, Gender, Language and New Literacy, chapter 12,
pages 182-195. Continuun, London, 2006.
International Conferences and Lecture Notes in Computer Science
•
•
•
•
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal
preservation by choreography-driven matchmaking. In J.-Y. Chung,
W. Emmerich, G. Feuerlicht, W. Lamersdorf, G. Ortiz, and C. Zirpins,
editors, Proc. of the Third International Workshop on Engineering ServiceOriented Applications: Analysis, Design and Composition, WESOA
2007@ICSOC 2007, pages 77-88, Vienna, Austria, September 2007. To
appear in a LNCS volume covering ICSOC 2007 workshops (selected
papers).
M. Baldoni, C. Baroglio, I. Brunkhosrt, E. Marengo, and V. Patti.
Reasoning-based Curriculum Sequencing and Validation: Iintegration in a
Service-Oriented Architecture. In E. Duval, R. Klamma, and M. Wolpers,
editors, Proc. of EC-TEL 2007 - Second European Conference on Technology
Enhanced Learning, number 4753 in LNCS, pages 426-431. Springer, 2007.
M. Baldoni, C. Baroglio, I. Brunkhost, E. Marengo, and V. Patti. A
Personalization Web Service for Curricula Planning and Validation. In
Poster Presentation at the 4th European Semantic Web Conference, ESWC
2007, 2007.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance
verification for guaranteeing interoperability in open environments. In
A. Dan and W. Lamersdorf, editors, Proc. of the 4th International Conference
on Service Oriented Computing, ICSOC 2006, volume 4294 of LNCS, pages
339-351, Chicago, USA, December 2006. Springer.
•
•
•
•
•
•
•
•
•
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction
Protocols and Capabilities: A Preliminary Report. In J. J. Alferes, J. Bailey,
W. May, and U. Schwertel, editors, Post-Proc. of the Fourth Workshop on
Principles and Practice of Semantic Web Reasoning, PPSWR 2006, volume
4187 of LNCS, pages 63-77. Springer, 2006.
M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi,
V. Patti, and C. Schifanella. Reasoning About Agents' Interaction Protocols
Inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors,
Post-Proc. of the International Workshop on Declarative Agent Languages and
Technologies, DALT'04, number 3476 in LNAI, pages 112-131. Springer,
2005.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying
the conformance of web services to global interaction protocols: a first step.
In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on Web
Services and Formal Methods, WS-FM 2005, volume 3670 of LNCS, pages
257-271. Springer, Versailles, France, September, 2005.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying
protocol conformance for logic-based communicating agents. In J. Leite and
P. Torroni, editors, Post Proc. of Fifth International Workshop on
Computational Logic in Multi-Agent Systems, CLIMA V, volume 3487 of LNAI,
pages 192-212. Springer, 2005.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about
interaction protocols for web service composition. In M. Bravetti and
G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal
Methods, WS-FM 2004, volume 105 of Electronic Notes in Theoretical
Computer Science, pages 21-36. Elsevier Science Direct, 2004.
M. Baldoni, C. Baroglio, L. Giordano, A. Martelli, and V. Patti. Reasoning
about communicating agents in the semantic web. In F. Bry, H. Henze, and
J. Maluszynski, editors, Proc. of the 1st International Workshop on Principle
and Practice of Semantic Web Reasoning, PPSWR 2003, volume 2901 of
LNCS, pages 84-98, Mumbai, India, December 2003. Springer.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about
Conversation Protocols in a Logic-based Agent Language. In A. Cappelli and
F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th
Congress of the Italian Association for Artificial Intelligence, volume 2829 of
LNAI, pages 300-311. Springer, September 2003.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and
others: communicating agents in a modal action logic. In C. Blundo and
C. Laneve, editors, Theoretical Computer Science, 8th Italian Conference,
ICTCS'2003, volume 2841 of LNCS, pages 228-241, Bertinoro, Italy,
October 2003. Springer.
M. Baldoni, C. Baroglio, and V. Patti. Applying logic inference techniques
for gaining flexibility and adaptivity in tutoring systems. In C. Stephanidis,
editor, Proceedings of the 10th International Conference on Human-Computer
Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th
Intrnational Conference on engineering Psychology and Cognitive
Ergonomics, 2th International Conference in Human-Computer Interaction,
volume 4, pages 517-521, Crete, Greece, June 2003. Lawrence Erlbaum
Associates, Inc.
•
•
•
•
•
M. Baldoni, C. Baroglio, and V. Patti. Personalizing web services by
reasoning about interaction protocols. In Peter P. Slezak, editor, Proc. of the
4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003),
Sydney, Australia, July 2003.
M. Baldoni, C. Baroglio, A. Chiarotto, and V. Patti. Programming Goaldriven Web Sites using an Agent Logic Language. In I. V. Ramakrishnan,
editor, Proc. of the Third International Symposium on Practical Aspects of
Declarative Languages, volume 1990 of Lecture Notes in Computer Science,
pages 60-75, Las Vegas, Nevada, USA, march 2001. Springer.
M. Baldoni, C. Baroglio, and V. Patti. Structereless, Intention-guided Web
Sites: Planning Based Adaptation. In C. Stephanidis, editor, Universal
Access in HCI: Toward an Information Society for All, Proceedings of the 9th
International Conference on Human-Computer Interaction (HCII 2001),
Symposium on Human Interfaces 2001, 4th Intrnational Conference on
engineering Psychology and Cognitive Ergonomics, 1th International
Conference in Human-Computer Interaction, volume 3, pages 237-241, New
Orleans, LA, USA, August 2001. Lawrence Erlbaum Associates, Inc.
M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about
Complex Actions with Incomplete Knowledge: A Modal Approach. In
A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc. of
Theoretical Computer Science, 7th Italian Conference, ICTCS'2001, volume
2202 of LNCS, pages 405-425, Turin, Italy, 2001. Springer.
M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Procedure
for Reasoning about Actions in Modal Logic Programming. In J. Dix, L. M.
Pereira, and T. C. Przymusinski, editors, Proc. of the 2nd International
Workshop on Non-Monotonic Extentions of Logic Programming, NMELP'96,
volume 1216 of LNAI, pages 132-150. Springer-Verlag, 1997.
Workshops and National Conferences
•
•
•
•
M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and Patti. A ServiceOriented Approach for Curriculum Planning and Validation. In Proceedings
of the Multi-Agent Logics, Languages, and Organisations, Federated
Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated
Methodologies
(MALLOW-AWESOME'007)
workshop,
Durham,
GB,
September 2007.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Preserving
player's goals: a choreography-driven matchmaking approach. In
M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors,
Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni
tecnologiche degli agenti software, pages 132-139, Genova, Italy, September
2007. Seneca Edizioni.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service
selection by choreography-driven matching. In T. Gschwind and
C. Pautasso, editors, Proc. of the 2nd ECOWS Workshop on Emerging Web
Services Technology, WEWST 2007, Halle (Saale), Germany, November
2007.
M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti.
A Personalization Service for Curriculum Planning. In E. Herder and
D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User
•
•
•
•
•
•
•
•
•
•
Modeling in Interactive Systems, ABIS 2006, pages 17-20, Hildesheim,
Germany, October 2006.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Conformance and
Interoperability in Open Environments. In F. De Paoli, A. Di Stefano,
A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli
agenti, Sistemi GRID, P2P e Self, volume 204 of CEUR, Workshop
Proceedings, Catania, Italy, September 2006.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. The Need
of Capability Requirements Inside Choreographies and Interaction
Protocols. In Y. Yan and L. Zhang, editors, Proc. of the 2006 International
Workshop on Service Oriented Techniques (SOT06), pages 17-24, August
2006.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and L. Torasso. Verifying the
compliance of personalized curricula to curricula models in the semantic
web. In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web
Personalization Workshop, held in conjuction with the 3rd European
Semantic Web Conference, pages 53-62, Budva, Montenegro, 2006.
A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, and et al.
Modeling, verifying and reasoning about web services (extended abstract).
In A. Polleres, S. Decker, G. Gupta, and J. de Bruijn, editors, Applications
of Logic Programming in the Semantic Web and Semantic Web Services,
ALPSWS 2006, volume 196 of CEUR, Workshop Proceedings, pages 105106, Seattle, WA, August 2006.
G. Antoniou, M. Baldoni, C. Baroglio, P.A. Bonatti, C. Duma, N. E. Fuchs,
A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer, and N. Shahmehri. The
REWERSE View on Policies. In L. Kagal, T. Finin, and J. Hendler, editors,
Proceedings of the Semantic Web and Policy Workshop, held in conjunction
with the 4th International Semantic Web Conference, Galway, Ireland,
November 2005.
M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella,
and L. Torasso. Personalization, verification and conformance for logic-base
communicating agents. In F. Corradini, F. De Paoli, E. Merelli, and
A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione
e analisi formale di sistemi complessi, Camerino, Italy, november 2005.
Pitagora Editrice Bologna.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol
conformance and agent interoperability. In F. Toni and P. Torroni, editors,
Pre-proc. of Sixth International Workshop on Computational Logic in MultiAgent Systems, CLIMA VI, pages 12-27, London, UK, June 2005.
M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi,
V. Patti, and C. Schifanella. Reasoning about agents' interaction protocols
inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors,
Pre-Proc. of the International Workshop on Declarative Agent Languages and
Technologies, DALT'04, pages 250-265, New York, USA, July 2004.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about logicbased agent interaction protocols. In G. Rossi and E. Panegai, editors, Proc.
of Italian Conference on Computational Logic, CILC'04, pages 250-264,
Parma, Italy, June 2004.
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying
protocol conformance for logic-based communicating agents. In J. Leite and
•
•
•
•
•
•
•
•
•
P. Torroni, editors, Pre-Proc. of Fifth International Workshop on
Computational Logic in Multi-Agent Systems, CLIMA V, pages 82-97, Lisbon,
Portugal, September 2004.
M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Reasoning about learning
object metadata for adapting SCORM courseware. In L. Aroyo and C. Tasso,
editors, AH 2004: Workshop Proceedings, Part I, International Workshop on
Engineering the Adaptive Web, EAW'04: Methods and Technologies for
personalization and Adaptation in the Semantic Web, pages 4-13,
Eindhoven, The Netherlands, August 2004. Technische Universiteit
Eindhoven.
M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. SCORM courseware
adaptation on the Semantic Web. In G. Adorni, editor, Proc. of IX Convegno
della Associazione Italiana Intelligenza Artificiale, Terzo Workshop
Intelligenza Artificiale e E-Learning, Perugia, Italy, September 2004.
M. Baldoni, C. Baroglio, B. Demo, V. Patti, and L. Torasso. E-learning by
doing, an approach based on techniques for reasoning about actions. In
G. Adorni, L. Sarti, and G. Vercelli, editors, Proc. of 2nd Workshop on
Artificial Intelligence & E-Learning, pages 16-24, Pisa, Italy, September
2003.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about
interaction for personalizing web service fruition. In G. Armano, F. De Paoli,
A. Omicini, and E. Vargiu, editors, Proc. of WOA 2003: Dagli oggetti agli
agenti, sistemi intelligenti e computazione pervasiva, Villasimius (CA), Italy,
September 2003. Pitagora Editrice Bologna.
M. Baldoni, C. Baroglio, N. Henze, and V. Patti. Setting up a framework for
comparing adaptive educational hypermedia: First steps and application on
curriculum sequencing. In N. Henze, editor, Proc. of ABIS-Workshop 2002:
Personalization for the mobile World, Workshop on Adaptivity and User
Modeling in Interative Software Systems, pages 43-50, Hannover, Germany,
October 2002.
M. Baldoni, C. Baroglio, and V. Patti. Supporting Users in Adaptive Webbased Applications: Techniques from Reasoning about Actions. In
F. De Paoli, S. Manzoni, and A. Poggi, editors, Proc. of WOA 2002: Dagli
oggetti agli agenti, dall'informazione alla conoscenza, Milan, Italy, November
2002. Pitagora Editrice Bologna.
M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Using a rational agent in
an adaptive web-based tutoring system. In P. Brusilovsky, N. Henze, and
E. Millán, editors, Proc. of Workshop on Adaptive System for Web-based
Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based
Systems, pages 43-55, Malaga, Spain, May 2002.
M. Baldoni, C. Baroglio, A. Molia, and V. Patti. Exploiting planning
capabilities of a rational agent in adaptive web-based recommendation
systems: a case-study. In S. Pizzutilo, editor, Proc. of AI*IA 2001, Demo
Session, pages 9-12, Bari, Italy, September 2001.
M. Baldoni, C. Baroglio, A. Chiarotto, A. Martelli, and V. Patti. Intentionguided Web Sites: A New Perspective on Adaptation. In P. L. Emiliani and
C. Stephanidis, editors, Proc. of the 6th ERCIM Workshop, User Interfaces for
All, pages 68-82, Florence, Italy, September 2000.
•
•
M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling Agents in a
Logic Action Language. In Proc. of Workshop on Practical Reasoning Agents,
FAPR2000, 2000.
M. Baldoni, L. Giordano, A. Martelli, and V. Patti. A Modal Programming
Language for Representing Complex Actions. In A. Bonner, B. Freitag, and
L. Giordano, editors, Proc. 1998 JICSLP'98 Post-Conference Workshop on
Transactions and Change in Logic Databases, DYNAMICS'98, pages 1-15,
Manchester, UK, June 1998. Technical Report MPI-9808.
Project Deliverables
•
•
•
•
•
•
•
•
C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhosrt, D. Krause,
E. Marengo, and V. Patti. Testbeds: overview and state. Technical Report
IST506779/Turin/A3-D10/D/PU/a1, Reasoning on the Web with Rules
and Semantics, REWERSE, February 28th 2007.
M. Baldoni, C. Baroglio, P. Bonatti, L. Giordano, A. Martelli, V. Patti, and
C. Schifanella. Negotiation Analysis and Design: Reasoning on Policies for
Verifying Properties. Technical Report IST506779/Turin/I2-D10/D/PU/a1,
Reasoning on the Web with Rules and Semantics, REWERSE, September
3rd 2006.
M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance
verification for guaranteeing interoperability in open environments.
Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli
Studi di Torino, July 3rd 2006.
I. Brunkhorst, N. Henze, V. Patti, J. J. A. Alferes, R. Amador, M. Baldoni,
C. Baroglio, R. Baumgartner, W. May, and M. A. Klopotek. Testbeds ii:
Early prototypes. Technical Report IST506779/Hannover,Turin/A3D6/D/PU/b1, Reasoning on the Web with Rules and Semantics,
REWERSE, February 28th 2006.
G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, N. Henze,
W. May, V. Patti, and S. T. Wierzchon. Personalization for the Semantic
Web
II.
Technical
Report
IST506779/Hannover/A3-D4/D/PU/b1,
Reasoning on the Web with Rules and Semantics, REWERSE, August 31st
2005.
M. Baldoni, C. Baroglio, S. Carro-Martinez, A. Goy, N. Henze, A. Kulas,
D. Magro, M. Montebello, V. Patti, and H. Williams. Thread on testbeds.
Technical Report IST506779/Turin/A3-D2/D/PU/a1, Reasoning on the
Web with Rules and Semantics, REWERSE, February, 28th 2005.
M. Baldoni, C. Baroglio, N. Henze, V. Patti, C. Staff, and S. T. Wierzchon.
Personalization Functionality for the Semantic Web: Identification and
Description of Techniques. Technical Report IST506779/Hannover/A3D1/D/PU/a1, Reasoning on the Web with Rules and Semantics,
REWERSE, August 31st, 2004.
P. A. Bonatti, N. Shalmehri, C. Duma, D. Olmedilla, W. Nejdl, M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, P. Coraggio, G. Antoniou, J. Peer, and
N. E. Fuchs. Rule-based Policy Specification: State of the Art and Future
Work. Technical Report IST506779/Naples/I2-D1/D/PU/b1, Reasoning on
the Web with Rules and Semantics, REWERSE, August 31st, 2004.