 Martelli's publicationsThe documents distributed by this server have been provided by thecontributing authors as a means to ensure timely dissemination ofscholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they haveoffered their works here electronically.It is understood that all persons copying this informationwill adhere to the terms and constraints invoked by each author'scopyright.These works may not be reposted without the explicit permission of thecopyright holder. [Books, Proceedings, and PhD Thesis][International Journals][National Journals][Chapters in Books][International Conferences and Lecture Notes][Workshops and National Conferences][Project Deliverables and Technical Reports]Books, Proceedings, and PhD Thesis
- M. Baldoni,
A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors.
Proc. of Workshop Dagli
Oggetti agli Agenti, Agenti e Industria: Applicazioni tecnologiche degli
agenti software, WOA 2007, Genova, Italy, September 2007. Seneca
Edizioni.
(PDF)
- M. Baldoni,
F. De Paoli, A. Martelli, and A. Omicini, editors.
Proc. of Workshop Dagli Oggetti agli
Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004, Torino,
Italy, November 2004. Pitagora Editrice Bologna.
ISBN: 88-371-1533-4.
(PDF)
International Journals
- 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.
(PDF)
- 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, 2(4):247-261, 2007.
(PDF)
- L. Giordano, A. Martelli, and C. Schwind.
Specifying and
Verifying Interaction Protocols in a Temporal Action Logic.
Journal of Applied Logic, 5(2):214-234, June 2007.
- L. Giordano and A. Martelli.
Tableau-Based Automata Construction for Dynamic Linear Time
Temporal Logic.
Annals of Mathematics and of Artificial Intelligence,
46(3):289-315, 2006.
(PDF)
- S. Abdennadher, J. Alves Alferes, G. Antoniou, U. Assmann,
R. Backofen, C. Baroglio, P. A. Bonatti, F. Bry, W. Drabent, N. Eisinger,
N. E. Fuchs, T. Geisler, N. Henze, J. Maluszynski, M. Marchiori, A. Martelli,
S. Carro Martinez, H. Jurgen Ohlbach, S. Schaffert, M. Schroeder, K. U.
Schulz, U. Schwertel, and G. Wagner.
Automated reasoning on the web.
Communications of Applied Logic, 2004.
To appear.
(PDF)
- 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(2-4):207-257, 2004.
(PDF)
- L. Giordano, A. Martelli, and C. Schwind.
Reasoning About Actions in Dynamic Linear Time Temporal Logic.
Journal of the IGPL, 9(2):298-303, 2001.
- D. M. Gabbay,
L. Giordano, A. Martelli, N. Olivetti, and M. L. Sapino.
Conditional Reasoning in Logic Programming.
Journal of Logic Programming, 44(1-3):37-74, 2000.
- L. Giordano, A. Martelli, and C. Schwind.
Ramification and Causality in a Modal Action Logic.
Journal of Logic and Computation, 10(5):625-662, 2000.
- M. Baldoni,
L. Giordano, and A. Martelli.
A Modal Extention of Logic Programming: Modularity, Beliefs and
Hypothetical Reasoning.
Journal of Logic and Computation, 8(5):597-635, 1998.
(PostScript)
(PDF)
- D. M. Gabbay,
L. Giordano, A. Martelli, and N. Olivetti.
A language for handling hypothetical updates and inconsistency.
J. of the Interest Group in Pure and Applied Logic, 4(3):385-416,
1996.
- L. Giordano and A. Martelli.
A Logical Characterization for Truth Maintenance Systems with
Dependency-Directed Backtracking.
Computational Intelligence, 11(1):11-46, 1995.
- L. Giordano,
A. Martelli, and M. L. Sapino.
Extending Negation as Failure by Abduction: a 3-valued Stable Model
Semantics.
Journal of Logic Programming, 26(1):31-67, 1995.
- L. Giordano and A. Martelli.
On Cumulative Defaults Logics.
Artificial Intelligence, 66:161-179, 1994.
- L. Giordano and A. Martelli.
Structuring Logic Programs: a Modal Approach.
J. of Logic Programming, 21(2):59-94, 1994.
- L. Giordano,
A. Martelli, and G.F. Rossi.
Structured Prolog: A Language for Structured Logic Programming.
Software - Concept and Tools, 15:125-145, 1994.
- L. Giordano,
A. Martelli, and G. F. Rossi.
Extending Horn Clause Logic with Implication Goals.
Theoretical Computer Science, 95:43-74, 1992.
National Journals
- M. P.
Bonacina and A. Martelli.
Automated reasoning.
Intelligenza Artificiale, III(1-2):14-20, Marzo/Giugno 2006.
(PDF)
Chapters in Books
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Service
selection by choreography-driven matching.
In T. Gschwind and C. Pautasso, editors, Emerging Web Services
Technology, volume II of Whitestein Series in Software Agent
Technologies and Autonomic Computing, chapter 1, pages 5-22.
Birkhäuser, September 2008.
Revised version of WEWST 2007 paper.
(PDF)
- 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 Multi-Agent Systems, CLIMA VI,
volume 3900 of LNCS State-of-the-Art Survey, pages 265-283.
Springer, 2006.
(PDF)
- A. Martelli
and L. Giordano.
Reasoning About Web Services in a Temporal Action Logic.
In O. Stock and M. Schaerf, editors, Reasoning, Action and Interaction in
AI Theories and System, number 4155 in LNAI, Festschrift, pages
229-246. Springer, 2006.
Essay Dedicated to Ligia Carlucci Aiello.
(PDF)
- A. Martelli.
Logic Programming and Nonmonotonic Reasoning.
In M. I. Sessa, editor, 1985-1995 Ten years of Logic Programming in
Italy, pages 105-136. Palladio, 1995.
International Conferences and Lecture Notes
- 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.
(PDF)
- L. Giordano,
A. Martelli, and D. Theseider Dupré.
Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
In G. Brewka, T. Eiter, and S. A. McIlraith, editors, Principles of
Knowledge Representation and Reasoning: Proceedings of the Thirteenth
International Conference, KR 2012, pages 618-622. AAAI Press, 2012.
(PDF)
- D. D'Aprile,
L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and
D. Theseider Dupré.
Verifying Business Process Compliance by Reasoning about Actions.
In Jürgen Dix, João Leite, Guido Governatori, and Wojtek Jamroga,
editors, CLIMA XI (Computational Logic in Multi-Agent Systems, 11th
International Workshop), special session in Norms and Normative Multi-Agent
Systems, volume 6245 of LNAI, pages 99-116, Lisbon,
Portugal, August 16-17 2010. Springer-Verlag.
(PDF)
- M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and
C. Schifanella.
Goal Preservation by
Choreography-Driven Matchmaking.
In E. Di Nitto and M. Ripeanu, editors, Service-Oriented Computing -
ICSOC 2007 Workshops, volume 4907 of LNCS, pages
413-426. Springer, 2009.
(PDF)
- L. Giordano
and A. Martelli.
Verifying Agents'
Conformance with Multiparty Protocols.
In M. Fisher, F. Sadri, and M. Thielscher, editors, Post-Proc. of the 9th
Int. Workshop CLIMA IX Computational Logic in Multi-Agent Systems,
volume 5405 of LNCS, pages 17-36, 2009.
(PDF)
- L. Giordano
and A. Martelli.
Verifying
the Conformance of Agents with Multiparty Protocols.
In M Ghallab, C. D. Spyropoulos, N. Fakotakis, and N. Avouris, editors,
Proc. of the 18th European Conference on AI, ECAI 2008, pages
855-856. IOS Press, 2008.
- A. Martelli.
The Seventies.
In P. Degano, R. De Nicola, and J. Meseguer, editors, Concurrency, Graphs
and Models --- Essays Dedicated to Ugo Montanari on the Occasion of His 65th
Birthday, volume 5065 of LNCS, pages 797-798. Springer,
2008.
(PDF)
- L. Giordano and A. Martelli.
Verifying Agent Conformance with Protocols Specified in a Temporal
Action Logic.
In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances
in Artificial Intelligence, 10th Congress of the Italian Association for
Artificial Intelligence, volume 4733 of LNAI, pages
145-156, Rome, Italy, September 2007. Springer.
- 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.
(PDF)
- 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.
(PDF)
- L. Giordano, A. Martelli, and C. Schwind.
Specialization of Interaction Protocols in a Temporal Action Logic.
In W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldridge, editors,
Proc. of the 3rd Int. Workshop on Logic and Communication in
Multi-Agent Systems, LCMAS'05, volume 157 of Electronic Notes in
Theoretical Computer Science, pages 3-22. Elsevier Science Direct,
2006.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- Laura
Giordano and Alberto Martelli.
On-the-fly
automata construction for dynamic linear time temporal logic.
In C. Combi and G. Ligozat, editors, 11th International Symposium on
Temporal Representation and Reasoning (TIME'04), pages 133-139,
Tatihou, Normandie, France, July 2004. IEEE Computer Society.
(PDF)
- Laura Giordano,
Alberto Martelli, and Camilla Schwind.
Verifying communicating agents by
model checking in a temporal action logic.
In J. Alferes and J. Leite, editors, 9th European Conference on Logics in
Artificial Intelligence (JELIA'04), volume 3229 of LNAI,
pages 57-69, Lisbon, Portugal, Sept. 2004. Springer-Verlag.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- L. Giordano,
A. Martelli, and C. Schwind.
Specifying
and Verifying Systems of Communicating Agents in a Temporal
Action Logic.
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 262-274.
Springer-Verlag, 2003.
(PDF)
- 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 Lecture Notes in Computer
Science, pages 405-425, Turin, Italy, 2001. Springer.
(PostScript)
(PDF)
- L. Giordano, A. Martelli, and C. Schwind.
Reasoning
About Actions in a Multiagents Domain.
In Proc. of the 7th Congress of the Italian Association for Artificial
Intelligence, AI*IA'01, volume 2175 of LNAI, pages
237-248, Bari, 2001.
(PDF)
- L. Giordano, A. Martelli, and C. Schwind.
Reasoning About Actions in Dynamic Linear Time Temporal Logic.
In Proc. of Conference on Formal and Applied Practical Reasoning, FAPR
2000, pages 117-129. Imperial College, Technical Report ISSN
1469-4166, 2000.
- M. Baldoni,
L. Giordano, and A. Martelli.
A
Tableau Calculus for Multimodal Logics and some (Un)Decidability
Results.
In H. de Swart, editor, Proc. of the International Conference on
Analytic Tableaux Related Methods, TABLEAUX'98, volume 1397 of
LNAI, pages 44-59. Springer-Verlag, 1998.
(PostScript)
(PDF)
- L. Giordano, A. Martelli, and C. Schwind.
Dealing with Concurrent Actions in Modal Action Logics.
In H. Prade, editor, Proc. of the 13th European Conference on Artificial
Intelligence, ECAI'98, pages 537-541, Brighton, UK, 1998. John Wiley
& Sons.
- 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.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Framework for
Modal Logic Programming.
In M. Maher, editor, Proc. of the Joint International Conference and
Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, 1996.
The MIT Press.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
Translating
a Modal Language with Embedded Implications into Horn Clause
Logic.
In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of
the 5th International Workshop on Extensions of Logic Programming,
ELP'96, volume 1050 of LNAI, pages 19-33.
Springer-Verlag, 1996.
(PostScript)
(PDF)
- L. Giordano, A. Martelli, and M. L. Sapino.
An Abductive Proof Procedure for Conditional Logic Programming.
In Proc. 1st Int. Conf. on Formal and Applied Practical Reasoning,
FAPR'96, volume 1085 of LNAI, pages 231-245, 1996.
- D. M. Gabbay,
L. Giordano, A. Martelli, and N. Olivetti.
Hypothetical updates, priority and inconsistency in a logic programming
language.
In V. W. Marek, A. Nerode, and M. Truszczynsky, editors, Proc. 3rd Int.
Conference on Logic Programming and Non-Monotonic Reasoning, volume
928 of LNCS, pages 203-216, Lexington, KY, USA, 1995.
Springer-Verlag.
- M. Baldoni,
L. Giordano, and A. Martelli.
A Modal Extention of Logic Programming.
In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. 1994 Joint
Conference on Declarative Programming GULP-PRODE'94, volume 2, pages
324-335, Peñiscola, Spain, September 1994.
(PostScript)
(PDF)
- D. M. Gabbay,
L. Giordano, A. Martelli, and N. Olivetti.
Conditional Logic Programming.
In Proc. ICLP94, pages 272-289, Santa Margherita Ligure, 1994.
MIT Press.
- M. Baldoni,
L. Giordano, and A. Martelli.
A Multimodal Logic to define Modules in Logic Programming.
In D. Miller, editor, Proc. of the International Logic Programming
Symposium, ILPS'93, pages 473-487, Vancouver, 1993. The MIT Press.
(PDF)
- L. Giordano, A. Martelli, and M. L. Sapino.
A semantics for Eshghi and Kowalski's abductive procedure.
In Proc. 10th Int. Conf. on Logic Programming, ICLP93, pages
586-600, Budapest, 1993. MIT Press.
Workshops and National Conferences
- D. D'Aprile,
L. Giordano, A. Martelli, G. L. Pozzato, D. Rognone, and
D. Theseider Dupré.
Business Process Compliance Verification: an Annotation Based Approach with
Commitments.
In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information
Systems: Crossroads for Organization, Management, Accounting and
Engineering, pages 563-571. Physica-Verlag, A Springer Company,
2012.
- L. Giordano,
A. Martelli, and D. Theseider Dupré.
Verification of Action Theories in ASP: A
Complete Bounded Model Checking Approach.
In F. A. Lisi, editor, Proc. of the 9th Italian Convention on
Computational Logic, CILC'12, volume 857 of CEUR Workshop
Proceedings, pages 176-190, Rome, Italy, June 6-7 2012. CEUR-WS.org.
(PDF)
- D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L.
Pozzato, and D. Theseider Dupré.
Verifying Compliance of Business Processes with Temporal Answer Sets.
In F. Fioravanti, editor, Proceedings of CILC 2011 (8th Convegno Italiano
di Logica Computazionale), volume 810 of CEUR, pages
147-161, Pescara, Italy, August 2011.
(PDF)
- M. Baldoni,
C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli,
V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, and A. Santi.
MERCURIO: An Interaction-oriented
Framework for Designing, Verifying and Programming Multi-Agent Systems.
In N. Fornara and G. Vouros, editors, Proc. of the 3rd Multi-Agent
Logics, Languages, and Organisations Federated Workshops, MALLOW'10, 11th
International Workshop on Coordination, Organization, Institutions and Norms
in Multi-Agent Systems, COIN@MALLOW 2010, volume 627, pages 134-146,
Domain Valpré in Lyon, France, August 30 - September 2 2010. CEUR Workshop
Proceedings.
(PDF)
- D. D'Aprile,
L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and
D. Theseider Dupré.
Verifying Business Process Compliance by Reasoning about Actions.
In Angelo Susi, editor, First Workshop on Law Compliancy Issues in
Organisational Systems and Strategies (iComply 2010), Firenze, Italy,
July 6 2010.
(PDF)
- 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, volume 313 of
CEUR, Workshop Proceedings, pages 1-17, Halle (Saale), Germany,
January 2008.
(PDF)
- L. Giordano
and A. Martelli.
Verifying Agents' Conformance with Multiparty Protocols.
In M. Fisher, F. Sadri, and M. Thielscher, editors, Proc. of the 9th Int.
Workshop CLIMA IX Computational Logic in Multi-Agent Systems, pages
127-142, 2008.
(PDF)
- 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 Service-Oriented Applications: Analysis, Design and Composition,
WESOA 2007, in conjuction with ICSOC 2007, pages 77-88, Vienna,
Austria, September 2007.
(PDF)
- 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.
(PDF)
- L. Giordano and A. Martelli.
Verifying Agent Conformance with Protocols: an Automata Based
Approach.
In N. Olivetti and Schwind C.B., editors, Proceedings of Agents, Logic
and Theorem Proving Workshop, pages 19-31, Aix En Provence, France,
July 2007.
- 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.
(PDF)
- 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, Proc. of
the 4th International Workshop on Principle and Practice of Semantic Web
Reasoning, PPSWR 2006, pages 61-75, Budva, Montenegro, June 2006.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- L. Giordano and A. Martelli.
Web Service Composition in a Temporal Action Logic.
In Proc. of 4th International Workshop on AI for Service Composition
(held in conjunction with ECAI 2006), Riva del Garda, August 2006.
(PDF)
- 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 105-106, Seattle, WA, August 2006.
(PDF)
- 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.
(PDF)
- M. Baldoni,
C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau, and
L. Roversi.
Esperienze di
E-learning all'interno della Facoltà di Scienze Matematiche,
Fisiche e Naturali dell'Università di Torino.
In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno
E-learning e Università: iniziative ed esperienze in Italia ed
Europa, Torino, Italy, September 2005.
(PDF)
- 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.
(PDF)
- 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 Multi-Agent Systems, CLIMA VI,
pages 12-27, London, UK, June 2005.
(PDF)
- 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.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about logic-based 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.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Modeling Agents in a Logic Action Language.
In W. van der Hock and J.-J. Meyer, editors, Proc. of Workshop on
Practical Reasoning Agents, FAPR2000, 2000.
(PostScript)
(PDF)
- 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.
(PostScript)
(PDF)
- D. M. Gabbay,
L. Giordano, A. Martelli, and N. Olivetti.
Hypothetical updates and inconsistency in logic programming.
In Proc. ECAI'94 Workshop on Logic and Change, Amsterdam, 1994.
Project Deliverables and Technical Reports
- 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.
(PDF)
- 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.
(PDF)
- 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.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, G. M. Sacco, M. L. Sapino, P. Bertolotti, and
C. Schifanella.
Gestione di materiali audio-visivi: modello formale e descrizione di un
prototipo.
Technical Report 68/02, Dipartimento di Informatica, Università degli Studi
di Torino, Italy, December 2002.
(PDF)
|