Why AM an EUISKO appear to work.
Artificial Intelligence
Some philosophical problems from the standpoint of artificial intelligence
Readings in nonmonotonic reasoning
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Principles for Organizing Semantic Relations in Large Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Dipe-R: a knowledge representation language
Data & Knowledge Engineering
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Expert Systems with Applications: An International Journal
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
A method for filtering large conceptual schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Hi-index | 0.01 |
CycL is the language in which the Cyc Knowledge Base is being encoded. This paper reviews some of the methodological considerations and the technical decisions (resulting from these considerations) that are both different from conventional thinking and that have significantly influenced the design of the language.