A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes.
Henri KorverM. P. A. SellinkPublished in: Formal Aspects Comput. (1998)
Keyphrases
- reasoning processes
- logical reasoning
- pattern matching
- formal models
- process model
- knowledge base
- reasoning systems
- qualitative reasoning
- decision making
- case based reasoning
- multi agent
- neural network
- probabilistic reasoning
- meta level
- formal methods
- software development
- qualitative models
- reasoning process
- legal reasoning
- knowledge representation and reasoning
- finite automata
- rule based reasoning
- web services