Inference Rules in Multi-agents' Temporal Logics.
Vladimir V. RybakovPublished in: Trans. Comput. Collect. Intell. (2011)
Keyphrases
- inference rules
- temporal logic
- modal logic
- multi agent
- model checking
- mazurkiewicz traces
- logical framework
- concurrent systems
- theorem proving
- theorem prover
- classical logic
- satisfiability problem
- situation calculus
- belief revision
- epistemic logic
- verification method
- predicate logic
- sequent calculus
- natural language
- relational databases
- xml data
- reactive systems
- temporal information
- learning algorithm