Logic Fragments: A Coordination Model Based on Logic Inference.
Francesco Luca De AngelisGiovanna Di Marzo SerugendoPublished in: COORDINATION (2015)
Keyphrases
- modal logic
- classical logic
- logic programming
- deductive reasoning
- bayesian networks
- logical inference
- proof theory
- abductive reasoning
- cooperative
- probability theory
- bayesian inference
- logical framework
- defeasible logic
- inference mechanism
- formal theory
- multiagent systems
- multi agent systems
- delay insensitive
- artificial intelligence
- horizontal fragmentation