287 results on '"Torroni, A."'
Search Results
2. Innovative Treatment Modalities for Craniofacial Reconstruction
3. An Argumentative Dialogue System for COVID-19 Vaccine Information
4. Epidemiology and Risk Stratification in Gastric Cancer
5. 3D Printing and Adenosine Receptor Activation for Craniomaxillofacial Regeneration
6. Claim Detection in Judgments of the EU Court of Justice
7. Operative Endoscopy in Pediatric Inflammatory Bowel Disease
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
14. A New Framework for ABMs Based on Argumentative Reasoning
15. Specification and Verification of Agent Interaction Using Abductive Reasoning
16. Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
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
21. Results of Ileoscopy in Pediatric Patients
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
28. Planning while Executing: A Constraint-Based Approach
29. Verification of Choreographies During Execution Using the Reactive Event Calculus
30. Arguing on the Semantic Grid
31. Verification from Declarative Specifications Using Logic Programming
32. -Tropos : Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification
33. A Survey of RFID Awareness and Use in the UK Logistics Industry
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
43. Jejunal Adenocarcinoma in a 16-Year-Old Patient: An Unusual Case
44. A Social ACL Semantics by Deontic Constraints
45. An Abductive Interpretation for Open Agent Societies
46. An Abductive Logic Programming Architecture for Negotiating Agents
47. A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
48. Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
49. Extending a logic based one-to-one negotiation framework to one-to-many negotiation
50. An Implementation for Abductive Logic Agents
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.