Specification and Verification of Agent Interaction using Social Integrity Constraints.
Marco AlbertiMarco GavanelliEvelina LammaPaola MelloPaolo TorroniPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- integrity constraints
- agent interactions
- multi agent systems
- intelligent agents
- active rules
- multi agent
- software agents
- deductive databases
- integrity checking
- functional dependencies
- conceptual schema
- query answering
- conjunctive queries
- constraint language
- database integrity
- database schema
- inclusion dependencies
- constraint checking
- xml documents
- distributed learning
- xml schema
- active databases
- user defined
- complex domains
- domain knowledge
- sensor networks
- consistent query answering