The KL-ONE family
From MaRDI portal
Publication:1202629
DOI10.1016/0898-1221(92)90139-9zbMath0800.68874OpenAlexW1970672740WikidataQ56050406 ScholiaQ56050406MaRDI QIDQ1202629
William A. Woods, James G. Schmolze
Publication date: 19 April 1993
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0898-1221(92)90139-9
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items
Peirce algebras, Computing the least common subsumer w.r.t. a background terminology, The learnability of description logics with equality constraints, The complexity of concept languages, The F-logic approach for description languages, An epistemic operator for description logics, Efficient TBox Reasoning with Value Restrictions using the wer Reasoner, A multi-dimensional terminological knowledge representation language, Type theoretic semantics for SemNet, Tableaux and algorithms for Propositional Dynamic Logic with Converse, Unification of concept terms in description logics, Understanding metonymies in discourse, Recovery recovered, Combining deduction and model checking into tableaux and algorithms for converse-PDL.
Cites Work
- A syntactic theory of belief and action
- Computational complexity of terminological reasoning in BACK
- A four-valued semantics for terminological logics
- Erratum to: A four valued semantics for terminological logics
- Inheritance hierarchies: Semantics and unifications
- ``Reducing classic to practice: Knowledge representation theory meets reality
- Login: a logic programming language with built-in inheritance
- Feature-constraint logics for unification grammars
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
