Logic for Programming, Artificial Intelligence, and Reasoning
From MaRDI portal
Publication:5705930
DOI10.1007/b106931zbMath1109.03009OpenAlexW4206255911MaRDI QIDQ5705930
Ullrich Hustadt, Ulrike Sattler, Boris Motik
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106931
Related Items (8)
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots ⋮ Deciding expressive description logics in the framework of resolution ⋮ A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). ⋮ Reasoning in description logics by a reduction to disjunctive datalog ⋮ Data complexity of query answering in expressive description logics via tableaux ⋮ Reasoning and Query Answering in Description Logics ⋮ Answering regular path queries in expressive description logics via alternating tree-automata ⋮ Query Answering in Description Logics: The Knots Approach
Uses Software
This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning
