Actions over a Constructive Semantics for ALC

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

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

Real-time Traffic

Action Formalism | Action Languages | Automated Reasoning | Constructive Semantics | DLOG 2008 |

claim paper

» A Denotational Semantics for HandelC

» Distributed pointing for multimodal collaboration over sketched diagrams

» Creating a FiniteState Parser with Application Semantics

» A TailRecursive Semantics for Stack Inspections

» Static analysis of topologydependent broadcast networks

» Ensuring consistency in long running transactions

» Knowledge and ContentBased Audio Retrieval Using Wordnet

Post Info
More Details (n/a)

Added	09 Nov 2010
Updated	09 Nov 2010
Type	Conference
Year	2008
Where	DLOG
Authors	Loris Bozzato, Mauro Ferrari, Paola Villa

Comments (0)

Sciweavers

Actions over a Constructive Semantics for ALC

Action Formalism | Action Languages | Automated Reasoning | Constructive Semantics | DLOG 2008 |

Explore & Download

Productivity Tools

Sciweavers