Abduction and Legal Reasoning
Giada Maggenti, Andrea Bracciali, Paolo Mancarella · 2008
In this paper we present LAILA+, an extension of the LAILA coordination language for abductive logic agents, i.e. rea- soning agents that collaborate towards the solution of a given problem exploiting a set of distributed, possibly par- tial, knowledge of the application domain. The extension consis