Verifying Properties of Infinite Sequences of Description Logic Actions

DOI10.3233/978-1-60750-606-5-53MaRDI QIDQ2999106zbMATH OpenOpenAlexFDO

Authors Franz Baader, Hongkai Liu, Anees Ul Mehdi

Publication date 11 May 2011

Full work available at URL https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#BaaderLM10

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Verification of description logic knowledge and action bases
• scientific article; zbMATH DE number 1406234
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• Infinite State Model-Checking of Propositional Dynamic Logics
• Verification of Golog programs over description logic actions
• Actions over a constructive semantics for description logics
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Infinitary action logic: complexity, models and grammars
• Toward a declarative semantics for infinite objects in logic programming
• Bounded Model Checking with Description Logic Reasoning

Cited in

(4)

• Non-terminating processes in the situation calculus
• Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
• Verification of Golog programs over description logic actions
• Verification of description logic knowledge and action bases

This page was built for publication: Verifying Properties of Infinite Sequences of Description Logic Actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999106)