Paolo Torroni
TitleCited byYear
Argumentation mining: State of the art and emerging trends
M Lippi, P Torroni
ACM Transactions on Internet Technology (TOIT) 16 (2), 10, 2016
2062016
Verifiable agent interaction in abductive logic programming: the SCIFF framework
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
ACM Transactions on Computational Logic (TOCL) 9 (4), 29, 2008
1842008
Dialogues for negotiation: agent varieties and dialogue sequences
F Sadri, F Toni, P Torroni
International Workshop on Agent Theories, Architectures, and Languages, 405-421, 2001
1362001
Compliance verification of agent interaction: a logic-based software tool
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Applied Artificial Intelligence 20 (2-4), 133-157, 2006
1192006
Logic agents, dialogues and negotiation: an abductive approach
F Sadri, F Toni, P Torroni
Proceedings of the AISB 2001 Symposium on Information Agents for E-Commerce 39, 2001
1002001
Specification and verification of agent interaction protocols in a logic-based system
M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello
Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004
882004
An abductive logic programming architecture for negotiating agents
F Sadri, F Toni, P Torroni
European Workshop on Logics in Artificial Intelligence, 419-431, 2002
872002
Computational logics and agents: a road map of current technologies and future trends
M Fisher, RH Bordini, B Hirsch, P Torroni
Computational Intelligence 23 (1), 61-91, 2007
802007
Context-independent claim detection for argument mining
M Lippi, P Torroni
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
772015
Representing and monitoring social commitments using the event calculus
F Chesani, P Mello, M Montali, P Torroni
Autonomous Agents and Multi-Agent Systems 27 (1), 85-130, 2013
742013
The added value of argumentation
S Modgil, F Toni, F Bex, I Bratko, CI Chesnevar, W Dvořįk, MA Falappa, ...
Agreement technologies, 357-403, 2013
732013
Commitment tracking via the reactive event calculus
F Chesani, P Mello, M Montali, P Torroni
Twenty-First International Joint Conference on Artificial Intelligence, 2009
692009
Specification and verification of agent interaction using social integrity constraints
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004
672004
Specification and verification of agent interaction using social integrity constraints
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004
672004
Mapping deontic operators to abductive expectations
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
Computational & Mathematical Organization Theory 12 (2-3), 205-225, 2006
602006
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate
A Ciampolini, E Lamma, P Mello, F Toni, P Torroni
Annals of Mathematics and Artificial Intelligence 37 (1-2), 65-91, 2003
552003
Expressing and verifying business contracts with abductive logic programming
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ...
International Journal of Electronic Commerce 12 (4), 9-38, 2008
512008
Social commitments in time: Satisfied or compensated
P Torroni, F Chesani, P Mello, M Montali
International Workshop on Declarative Agent Languages and Technologies, 228-243, 2009
502009
Bottom-up argumentation
F Toni, P Torroni
International Workshop on Theorie and Applications of Formal Argumentation …, 2011
392011
Verification from declarative specifications using logic programming
M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ...
International Conference on Logic Programming, 440-454, 2008
382008
The system can't perform the operation now. Try again later.
Articles 1–20