Team bisimilarity, and its associated modal logic, for BPP nets.
Roberto GorrieriPublished in: Acta Informatica (2021)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- bit rate
- nonmonotonic logics
- situation calculus
- team members
- default logic
- classical logic
- conditional logic
- epistemic logic
- explanation based generalization
- dynamic logic
- autoepistemic logic
- exact solution
- modal operators
- domain knowledge
- bits per pixel
- compression scheme
- compression ratio
- programming language
- case based reasoning
- knowledge representation