Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Evaluating Compliance: From LTL to Abductive Logic Programming

Federico Chesani, Marco Gavanelli, Evelina Lamma [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Reasoning on Datalog ± Ontologies with Abductive Logic Programming

Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1998-7

Executing Suspended Logic Programs

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Abduction: A Logical Criterion For Programme and Project Evaluation

Miri Levin-Rozalis

Evaluation

Retricted access

Research article

First published 2020

Dischargeable Obligations in the 𝒮 CIFF Framework

Marco Alberti, Marco Gavanelli, Evelina Lamma [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

The Diagnosis Frontend of the dlv system

Thomas Eiter, Wolfgang Faber, Nicola Leone [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010-11

A Logic-Based,Reactive Calculus of Events

Federico Chesani, Paola Mello, Marco Montali [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Learning specifications of interaction protocols and business processes and proving their properties

Marco Alberti, Marco Gavanelli, Evelina Lamma [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2013-8

The CHR-based Implementation of the SCIFF Abductive System

Marco Alberti, Marco Gavanelli, Evelina Lamma

Fundamenta Informaticae

Search results