Behavioural reasoning for conditional equations.
Manuel A. MartinsDon PigozziPublished in: Math. Struct. Comput. Sci. (2007)
Keyphrases
- knowledge base
- nonmonotonic inference
- automated reasoning
- reasoning process
- numerical solution
- mathematical model
- differential equations
- meta level
- description logics
- reasoning tasks
- random field model
- reasoning mechanisms
- computational properties
- reasoning systems
- model based reasoning
- analogical reasoning
- default reasoning from conditional knowledge bases
- genetic algorithm
- rule based reasoning
- formal models
- legal reasoning
- probabilistic logic
- linear equations
- nonmonotonic reasoning
- knowledge representation