Knowledge representation, the World Wide Web, and the evolution of logic.
Christopher MenzelPublished in: Synth. (2011)
Keyphrases
- knowledge representation
- logic programming
- automated reasoning
- knowledge representation formalisms
- natural language processing
- knowledge base
- knowledge acquisition
- classical logic
- commonsense reasoning
- logic programs
- semantic web
- representing knowledge
- knowledge engineering
- description logics
- nonmonotonic reasoning
- probabilistic reasoning
- artificial intelligence
- probabilistic logic
- set theory
- general knowledge
- epistemic logic
- knowledge representation and reasoning
- temporal evolution
- database
- modal logic
- knowledge based systems
- web pages
- machine learning
- evolution process
- linear logic
- researching on the internet
- answer set programming
- software evolution
- web information
- probability theory
- theorem prover
- object oriented
- information retrieval
- data mining
- data sets