INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism.
Sang C. SuhClenio F. SalvianoMurat M. TanikPublished in: SEKE (1993)
Keyphrases
- knowledge representation
- representation language
- knowledge representation formalisms
- knowledge acquisition
- automated reasoning
- knowledge base
- expert systems
- description logics
- artificial intelligence
- knowledge engineering
- knowledge based systems
- knowledge structures
- natural language
- first order logic
- machine learning
- natural language processing
- natural language understanding
- semantic web
- production rules
- representing knowledge
- logic programming
- probabilistic reasoning
- data sets
- data mining
- formal representation
- search engine