Reasoning and Verification: State of the Art and Current Trends.
Bernhard BeckertReiner HähnlePublished in: IEEE Intell. Syst. (2014)
Keyphrases
- current trends
- future directions
- artificial intelligence
- health sciences
- knowledge base
- model checking
- real time
- model based reasoning
- reasoning systems
- knowledge representation and reasoning
- functional verification
- logical reasoning
- fuzzy reasoning
- reasoning tasks
- formal analysis
- qualitative reasoning
- knowledge representation
- multi agent
- case study
- automated reasoning
- meta level
- default reasoning
- production rules
- fuzzy logic
- formal verification
- website