In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation, web services choreographies and business processes
We discuss the static verification of declarative Business Processes. We identify four desiderata ab...
Abstract. In recent years, the declarative programming philosophy has had a visible impact on new em...
The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can...
In this article we survey our recent research activity concerning the use of logic programming, and ...
In this paper, we overview our recent research activity concerning the induction of Logic Programmin...
SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF la...
Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented...
In this paper we propose a logic-based approach for the specification and verification of interactio...
Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented...
The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can...
In recent years, the declarative programming philosophy has had a visible impact on new emerging dis...
In this article, we propose to adopt the SCIFF abductive logic language to specify business contract...
In recent years, the declarative programming philosophy has had a visible impact on new emerging dis...
Global choreographies have been recently proposed as a way for specifying the overall behaviour of a...
International audienceWe develop a model of abduction in abstract argumentation, where changes to an...
We discuss the static verification of declarative Business Processes. We identify four desiderata ab...
Abstract. In recent years, the declarative programming philosophy has had a visible impact on new em...
The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can...
In this article we survey our recent research activity concerning the use of logic programming, and ...
In this paper, we overview our recent research activity concerning the induction of Logic Programmin...
SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF la...
Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented...
In this paper we propose a logic-based approach for the specification and verification of interactio...
Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented...
The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can...
In recent years, the declarative programming philosophy has had a visible impact on new emerging dis...
In this article, we propose to adopt the SCIFF abductive logic language to specify business contract...
In recent years, the declarative programming philosophy has had a visible impact on new emerging dis...
Global choreographies have been recently proposed as a way for specifying the overall behaviour of a...
International audienceWe develop a model of abduction in abstract argumentation, where changes to an...
We discuss the static verification of declarative Business Processes. We identify four desiderata ab...
Abstract. In recent years, the declarative programming philosophy has had a visible impact on new em...
The aim of this work is to show that the Peircean notion of abduction, even if in a limited way, can...
DOI
Add to ORKG