STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow.
Mateusz KaminskiDamian KurpiewskiWojciech JamrogaPublished in: AAMAS (2024)
Keyphrases
- information flow
- knowledge management
- flow analysis
- knowledge sharing
- knowledge base
- domain knowledge
- knowledge discovery
- expert systems
- real world
- knowledge based systems
- model checking
- multi context systems
- multi threaded
- social capital
- flow graph
- communication networks
- database
- knowledge sources
- knowledge acquisition
- software engineering
- object oriented
- supply chain
- multi agent
- case study
- databases