Sciweavers

DLOG
2008

Actions over a Constructive Semantics for ALC

13 years 12 months ago
Actions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ALC.
Loris Bozzato, Mauro Ferrari, Paola Villa
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where DLOG
Authors Loris Bozzato, Mauro Ferrari, Paola Villa
Comments (0)