Actions over a constructive semantics for description logics

DOI10.3233/FI-2009-178MaRDI QIDQ3400566zbMATH OpenFDO

Authors Loris Bozzato, Mauro Ferrari, Paola Villa

Publication date 5 February 2010

Published in Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

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

• ASSAT

Cited in

(13)

• Bridges from language to logic: concepts, contexts and ontologies
• Intuitionistic hybrid logic: introduction and survey
• On the negation of action types: constructive concurrent PDL
• Constructive description logics hybrid-style
• scientific article; zbMATH DE number 6769444 (Why is no real title available?)
• Verifying Properties of Infinite Sequences of Description Logic Actions
• Family of extended dynamic description logics
• \(\mathcal {BCDL}\): Basic constructive description logic
• A family of dynamic description logics for representing and reasoning about actions
• Towards constructive DL for abstraction and refinement
• scientific article; zbMATH DE number 6606368 (Why is no real title available?)
• scientific article; zbMATH DE number 2209432 (Why is no real title available?)
• Reasoning About Actions Using Description Logics with General TBoxes

Describes a project that uses

Uses Software

• ASSAT
• Smodels

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)