Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003.
Nimish ShahPublished in: J. Funct. Program. (2004)
Keyphrases
- knowledge representation
- knowledge acquisition
- artificial intelligence
- knowledge structures
- knowledge representation and reasoning
- knowledge base
- automated reasoning
- knowledge engineering
- rule based reasoning
- probabilistic reasoning
- reasoning mechanisms
- expert systems
- analogical reasoning
- semantic web
- knowledge based systems
- logic programming
- first order logic
- representing knowledge
- knowledge representation formalisms
- knowledge representation systems
- machine learning
- natural language
- case study
- case based reasoning
- natural language processing
- declarative knowledge
- solving problems
- description logics
- reasoning processes
- explanation based learning
- natural language understanding
- information processing
- general knowledge
- web based instruction
- formal representation
- distributed artificial intelligence
- causal reasoning
- reasoning process
- inference engine
- production rules
- engineering design
- conceptual knowledge
- commonsense reasoning
- reasoning tasks
- theorem prover
- bayesian networks
- e learning