: An Action-Based Logic for Reasoning about Contracts.
Cristian PrisacariuGerardo SchneiderPublished in: WoLLIC (2009)
Keyphrases
- formal theory
- practical reasoning
- transition systems
- reasoning about actions
- concurrent actions
- modal operators
- logic programming
- supply chain
- classical logic
- modal logic
- action language
- computational properties
- predicate logic
- epistemic logic
- genetic algorithm
- multi valued
- qualitative reasoning
- causal reasoning
- nonmonotonic logics
- action selection
- spatial reasoning
- human actions
- asynchronous circuits
- proof theory
- programming language