Research Perspectives for Logic and Deduction.
Wolfgang BibelPublished in: Reasoning, Action and Interaction in AI Theories and Systems (2006)
Keyphrases
- intuitionistic logic
- computer algebra
- deductive reasoning
- automated theorem proving
- logic programming
- inference rules
- theorem proving
- classical logic
- data mining
- proof search
- modal logic
- proof procedure
- logical framework
- delay insensitive
- multiple perspectives
- theorem prover
- bayesian networks
- database systems
- case study
- neural network
- defeasible logic
- data sets
- abductive reasoning
- probabilistic logic
- logic synthesis
- real world
- proof theoretic