Search

Your search keyword '"Torroni, A."' showing total 287 results

Search Constraints

Start Over You searched for: Author "Torroni, A." Remove constraint Author: "Torroni, A." Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
287 results on '"Torroni, A."'

Search Results

1. TWOLAR: A TWO-Step LLM-Augmented Distillation Method for Passage Reranking

3. An Argumentative Dialogue System for COVID-19 Vaccine Information

6. Claim Detection in Judgments of the EU Court of Justice

8. Gastric Volvulus

9. Esophageal Injuries and Foreign Bodies

10. Gastroenterology: Gastric Emptying – Gastroesophageal Reflux

11. Argument Mining: A Machine Learning Perspective

12. Reasoning about Exceptions to Contracts

13. Social Commitment Delegation and Monitoring

15. Specification and Verification of Agent Interaction Using Abductive Reasoning

17. The Added Value of Argumentation

18. Reactive Event Calculus for Monitoring Global Computing Applications

19. Bottom-Up Argumentation

20. A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

22. What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior

23. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?

24. 25 Years of Applications of Logic Programming in Italy

25. Role Monitoring in Open Agent Societies

26. Declarative Technologies for Open Agent Systems and Beyond

27. Social Commitments in Time: Satisfied or Compensated

29. Verification of Choreographies During Execution Using the Reactive Event Calculus

31. Verification from Declarative Specifications Using Logic Programming

34. A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services

35. Web Service Contracting: Specification and Reasoning with SCIFF

36. Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

37. Security Protocols Verification in Abductive Logic Programming: A Case Study

38. Erratum to: PRIMA 2016: Principles and Practice of Multi-Agent Systems

39. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies

40. The SCIFF Abductive Proof-Procedure

41. A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction

42. An Abductive Framework for Information Exchange in Multi-agent Systems

44. A Social ACL Semantics by Deontic Constraints

50. An Implementation for Abductive Logic Agents

Catalog

Books, media, physical & digital resources