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.

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Loris Bozzato, Mauro Ferrari, Paola Villa
• Keywords: Action Formalism, Action Languages, Automated Reasoning, Constructive Semantics, DLOG 2008