|
8
|
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic
– Laura Giordano, Alberto Martelli, Camilla Schwind
- 2003
|
|
16
|
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
– Laura Giordano, Alberto Martelli, Camilla Schwind
- 2004
|
|
18
|
Reasoning about self and others: communicating agents in a modal action logic
– Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
- 2003
|
|
4
|
Reasoning About Interaction for Personalizing Web Service Fruition
– M. Baldoni, C. Baroglio, A. Martelli, V. Patti
- 2003
|
|
7
|
Reasoning about interaction protocols for web service composition
– Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
- 2004
|
|
4
|
Reasoning about conversation protocols in a logic-based agent language
– Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
- 2003
|
|
1
|
RULE-BASED POLICY SPECIFICATION
– Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla
|
|
2
|
Reasoning About Web Services in a Temporal Action Logic
– Alberto Martelli, Laura Giordano
- 2006
|
|
17
|
Verification of protocol conformance and agent interoperability
– Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
- 2006
|
|
1
|
Design and development of a visual environment for writing dylog
– Claudio Schifanella, Luca Lusso, Matteo Baldoni, Cristina Baroglio
- 2004
|
|
1
|
Reasoning about Actions in a Multiagent Domain
– Laura Giordano, Alberto Martelli, Camilla Schwind
- 2001
|
|
7
|
Reasoning Methods for Personalization on the Semantic Web
– Grigoris Antoniou, Matteo Baldoni, Cristina Baroglio, Viviana Patti, Robert Baumgartner, Thomas Eiter, Marcus Herzog, Roman Schindlauer, Hans Tompits, Technische Universität Wien, François Bry, Nicola Henze
- 2004
|
|
1
|
Agents, Multi-Agent Systems and Declarative Programming
– Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
|
|
6
|
Reasoning about agents’ interaction protocols inside DCaseLP
– M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, C. Schifanella
- 2004
|
|
15
|
Layered Strategies and Protocols for Argumentation-Based Agent Interaction
– Antonis Kakas, Nicolas Maudet, Pavlos Moraitis
- 2004
|
|
|
Declarative Specification and Verification of Service
– Marco Montali, Maja Pesic, Federico Chesani, Paola Mello, Sergio Storari
|
|
1
|
Toward Specifying Contracts and Protocols for Web Services," presented at
– Guy Tremblay
- 2005
|
|
23
|
The cognitive agent specification language and verification environment for multiagent systems
– Steven Shapiro, Yves Lespérance, Hector J. Levesque
|
|
3
|
Web service composition via the customization of Golog programs with user preferences
– Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. Mcilraith
- 2009
|
