Inductive Invariants for Noninterference in Multi-agent Workflows.
Christian MüllerHelmut SeidlEugen ZalinescuPublished in: CSF (2018)
Keyphrases
- multi agent
- data processing
- inductive learning
- multiagent systems
- machine learning
- web services
- inductive inference
- inductive logic programming
- inductive reasoning
- traffic signal control
- multi agent systems
- cooperative
- heterogeneous agents
- agent oriented
- imperative programs
- rule learning
- multiple agents
- workflow management systems
- intelligent agents
- security policies
- affine invariant
- single agent
- reinforcement learning
- knowledge representation
- agent communication
- cooperative agents
- business processes
- team formation
- multi agent based simulation
- grid workflow
- multi agent coordination
- oriented programming
- geometric invariants
- multi agent architecture
- coalition formation
- workflow management
- autonomous agents
- data sets