The Description Logic Handbook
From MaRDI portal
Publication:3569996
DOI10.1017/CBO9780511711787zbMath1191.68652OpenAlexW1555563750MaRDI QIDQ3569996
No author found.
Publication date: 23 June 2010
Full work available at URL: https://doi.org/10.1017/cbo9780511711787
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Related Items (11)
Logic programming approach to automata-based decision procedures ⋮ Analyzing natural languages: antimems, contradictions, and onthologies ⋮ Interactive error correction in implicative theories ⋮ On combining ontologies and rules ⋮ Using formal methods with SysML in aerospace design and engineering ⋮ FLP answer set semantics without circular justifications for general logic programs ⋮ Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ Towards semantic document modelling of business processes ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Towards Contingent World Descriptions in Description Logics ⋮ Unnamed Item
This page was built for publication: The Description Logic Handbook