Special Issue on Propositional Knowledge Representation.
Deepak KumarHans ChalupskyPublished in: J. Exp. Theor. Artif. Intell. (1993)
Keyphrases
- special issue
- knowledge representation
- first order logic
- propositional logic
- knowledge base
- ai edam
- knowledge acquisition
- applied intelligence
- ecml pkdd
- artificial intelligence
- expert systems
- international journal
- logic programming
- knowledge engineering
- semantic web
- natural language
- knowledge based systems
- natural language processing
- special section
- machine learning
- probabilistic reasoning
- knowledge structures
- default logic
- automated reasoning
- theorem proving
- formal representation
- representing knowledge
- description logics
- multi valued
- future directions
- cognitive science
- belief revision
- databases