: A Distributed Real-Time Modal Logic.
James Jerson OrtizMoussa AmraniPierre-Yves SchobbensPublished in: NFM (2019)
Keyphrases
- modal logic
- real time
- temporal logic
- decision procedures
- inference rules
- distributed systems
- classical logic
- epistemic logic
- cooperative
- nonmonotonic logics
- low cost
- conditional logic
- explanation based generalization
- prime implicates
- autoepistemic logic
- multi agent
- distributed environment
- dynamic logic
- artificial intelligence
- real time systems
- situation calculus
- vision system
- peer to peer
- natural language