Using Abductive Logic Agents For Modeling The Judicial Evaluation Of Criminal Evidence.
Anna CiampoliniPaolo TorroniPublished in: Appl. Artif. Intell. (2004)
Keyphrases
- logic programming
- multi agent systems
- multiagent systems
- multi agent
- abductive reasoning
- logical framework
- abductive logic programming
- dynamic logic
- intelligent agents
- epistemic logic
- multiple agents
- crowd simulation
- artificial agents
- software agents
- autonomous agents
- mobile agents
- cooperative
- dynamic environments
- agent model
- decision making
- automated reasoning
- multi valued
- agent architecture
- classical logic
- causal reasoning
- modal logic
- constraint logic programming
- agent based modeling
- alternating time temporal logic