70 citations · 110 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014★ 3 cited
LTLf and LDLf Monitoring: A Technical Report
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso +2
Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and…
cs.AI2014★ 70 cited
Description Logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +3
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a…