145 citations · 360 across the 54 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Well Structured Transition Systems with History
Parosh Abdulla, Giorgio Delzanno, Marco Montali
We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of confi…
cs.AI2015★ 4 cited
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Marco Montali, Ario Santoso
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve it…