Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference22 articles.
1. How a computer should think;Belnap,1975
2. A useful four-valued logic;Belnap,1977
3. KRYPTON: A functional approach to knowledge representation;Brachman;IEEE Computer,1983
4. An essential hybrid reasoning system: Knowledge and symbol level accounts of KRYPTON;Brachman,1985
5. An overview of the KL-ONE knowledge representation system;Brachman;Cognitive Sci.,1985
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Falsification-aware Semantics for Description Logics;2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL);2022-05
2. Reasoning with Inconsistency-tolerant Fuzzy Description Logics;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022
3. An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information;Proceedings of the 12th International Conference on Agents and Artificial Intelligence;2020
4. Minimally inconsistent reasoning in Semantic Web;PLOS ONE;2017-07-27
5. On the Satisfiability of Quasi-Classical Description Logics;Computing and Informatics;2017