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.68124MaRDI 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
68Q45: Formal languages and automata
68T27: Logic in artificial intelligence
68T30: Knowledge representation