Verification of Relational Multiagent Systems with Data Types.
Diego CalvaneseGiorgio DelzannoMarco MontaliPublished in: AAAI (2015)
Keyphrases
- data types
- multiagent systems
- data model
- multi agent
- object relational
- database systems
- user defined
- database management systems
- relational model
- autonomous agents
- data structure
- multiagent planning
- object identity
- model checking
- abstract data types
- coalition formation
- object oriented
- multi agent systems
- query language
- relational databases
- robotic soccer
- databases
- database
- data formats
- multiagent reinforcement learning
- relational algebra
- data mining algorithms
- metadata
- learning algorithm