Contract agreements via logic.
Massimo BartolettiTiziana CimoliPaolo Di GiamberardinoRoberto ZuninoPublished in: ICE (2013)
Keyphrases
- modal logic
- computational properties
- real time
- negotiation process
- digital circuits
- sound and complete axiomatization
- delay insensitive
- proof theory
- asynchronous circuits
- defeasible logic
- classical logic
- information systems
- machine learning
- expressive power
- logic programming
- decision making
- abductive reasoning
- epistemic logic
- artificial intelligence
- data sets