Dyadic Obligations: Proofs and Countermodels via Hypersequents.
Agata CiabattoniNicola OlivettiXavier ParentPublished in: PRIMA (2022)
Keyphrases
- formal proofs
- theorem prover
- deontic logic
- theorem proving
- equational theories
- mathematical knowledge
- formal proof
- decision procedures
- decision trees
- mathematical proofs
- update semantics
- agent architecture
- reinforcement learning
- computer programs
- expert systems
- computational complexity
- cooperative
- multi agent
- automated theorem provers
- image processing