Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints
From MaRDI portal
Publication:2891443
DOI10.1007/978-3-642-28717-6_11zbMath1352.68124OpenAlexW49473404MaRDI QIDQ2891443
Franz Baader, Alexander Okhotin
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28717-6_11
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items (2)
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ Language equations
This page was built for publication: Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints
