Example image of eyePlorer eyePlorer map for 'Knowledge representation': Artificial intelligence Propositional calculus Autoepistemic logic Semantic network Formal language Spreading activation Problem solving Hindu–Arabic numeral system Roman numerals Computer science Computer Automated theorem proving Expert system Heuristic Neural network Chess Mycin Cyc Computational linguistics Programming language Prolog KL-ONE Dublin Core HTML Standard Generalized Markup Language XML Data mining Information retrieval DARPA Agent Markup Language Ontology Inference Layer RDF Schema Resource Description Framework Semantic Web Topic Maps Web Ontology Language Human language Mind Psycholinguistics Cognitive science Memory Constructed language Notation Computation Grammar Logic Mathematics Ontology (information science) CycL Ontology language Declarative programming
Disclaimer