The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.
Marco AlbertiFederico ChesaniMarco GavanelliEvelina LammaPaola MelloPaolo TorroniPublished in: Global Computing (2004)
Keyphrases
- computational logic
- agent societies
- multi agent systems
- social laws
- formal verification
- logic programming
- model checking
- multi agent
- coalition formation
- management science
- multiple agents
- multiagent systems
- inductive logic programming
- early days
- agent interactions
- software agents
- logic programs
- cooperative
- autonomous agents
- programming language
- high level
- game theory
- machine learning
- agent technology
- intelligent agents
- recent advances
- program synthesis
- semi supervised
- multiagent planning
- case study