Actions over a constructive semantics for description logics
From MaRDI portal
Publication:3400566
DOI10.3233/FI-2009-178zbMATH Open1209.68524MaRDI QIDQ3400566FDOQ3400566
Mauro Ferrari, Paola Villa, Loris Bozzato
Publication date: 5 February 2010
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Recommendations
- A family of dynamic description logics for representing and reasoning about actions
- Reasoning About Actions Using Description Logics with General TBoxes
- Two components of an action language
- ASP Based Generation of Information Terms for Constructive ɛℒ
- Towards constructive DL for abstraction and refinement
Cites Work
Cited In (11)
- Verifying Properties of Infinite Sequences of Description Logic Actions
- \(\mathcal {BCDL}\): Basic constructive description logic
- Constructive Description Logics Hybrid-Style
- Title not available (Why is that?)
- On the negation of action types: constructive concurrent PDL
- Intuitionistic hybrid logic: introduction and survey
- Title not available (Why is that?)
- Towards constructive DL for abstraction and refinement
- Bridges from Language to Logic: Concepts, Contexts and Ontologies
- Title not available (Why is that?)
- Reasoning About Actions Using Description Logics with General TBoxes
Uses Software
This page was built for publication: Actions over a constructive semantics for description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400566)
