{A-Priori Verification of Web Services with Abduction} Read more about {A-Priori Verification of Web Services with Abduction}
{Policy-Based Reasoning for Smart Web Service Interaction} Read more about {Policy-Based Reasoning for Smart Web Service Interaction}
{Policy-Based Reasoning for Smart Web Service Interaction} Read more about {Policy-Based Reasoning for Smart Web Service Interaction}
{What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior} Read more about {What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior}
{A Rule-Based Implementation of Fuzzy Tableau Reasoning} Read more about {A Rule-Based Implementation of Fuzzy Tableau Reasoning}
{A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules} Read more about {A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules}
Declarative Technologies for Open Agent Systems and Beyond Read more about Declarative Technologies for Open Agent Systems and Beyond
{An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning} Read more about {An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning}
{Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework} Read more about {Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework}
AI @ UniBOArtificial Intelligence Research at the University of Bologna