Verification of Feature Coordination using the Fluent Calculus.
Ralph HochHermann KaindlPublished in: ENASE (2018)
Keyphrases
- fluent calculus
- situation calculus
- feature vectors
- multi agent
- reasoning about actions
- model checking
- cooperative
- multi agent systems
- multiple agents
- expert systems
- data model
- image features
- multiagent systems
- distributed agents
- verification method
- predicate logic
- programming language
- information sharing
- petri net
- database
- object oriented
- natural language
- information retrieval