Actions over a constructive semantics for description logics
From MaRDI portal
Publication:3400566
DOI10.3233/FI-2009-178zbMATH Open1209.68524MaRDI QIDQ3400566FDOQ3400566
Authors: Loris Bozzato, Mauro Ferrari, Paola Villa 
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 (13)
- Verifying Properties of Infinite Sequences of Description Logic Actions
- Bridges from language to logic: concepts, contexts and ontologies
- \(\mathcal {BCDL}\): Basic constructive description logic
- Title not available (Why is that?)
- Constructive description logics hybrid-style
- 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
- A family of dynamic description logics for representing and reasoning about actions
- Title not available (Why is that?)
- Reasoning About Actions Using Description Logics with General TBoxes
- Family of extended dynamic description logics
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)
