Search filters

List of works by Marco Alberti

A Computational Logic Application Framework for Service Discovery and Contracting

scientific article published in July 2011

Expressing and Verifying Business Contracts with Abductive Logic Programming

scientific article published in July 2008

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

scientific article published in July 2009

Modelling Interactions via Commitments and Expectations

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

scientific article published in July 2011

Verification from Declarative Specifications Using Logic Programming

scientific article published in 2008

Paulina is supported by:

About Paulina

Help