A Logics Workbench.
Alain HeuerdingGerhard JägerMichael SchwendimannMichael SeyfriedPublished in: AI Commun. (1996)
Keyphrases
- expressive power
- modal logic
- inference rules
- proof theory
- epistemic logic
- computer vision
- proof theoretic
- probabilistic model
- classical logic
- nonmonotonic logics
- inheritance reasoning
- databases
- knowledge representation formalisms
- computational properties
- default reasoning
- evolutionary algorithm
- multi agent systems
- decision making