A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction.
Carsten LutzUli SattlerCesare TinelliAnni-Yasmin TurhanFrank WolterPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- automated deduction
- knowledge representation
- logic programming
- theorem proving
- theorem prover
- first order logic
- inference rules
- artificial intelligence
- traveling salesman problem
- automated reasoning
- deductive databases
- computational properties
- knowledge engineering
- knowledge base
- logic programs
- knowledge acquisition
- natural language processing
- description logics
- semantic web
- probabilistic reasoning
- traveling salesman
- knowledge structures
- machine learning
- natural language
- natural language understanding
- formal representation
- representing knowledge
- case study
- answer set programming
- expert systems
- information systems
- data warehouse