Keyphrases
- invited talk
- temporal logic
- multi agent systems
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- selected papers
- knowledge discovery and data mining
- concurrent systems
- linear temporal logic
- multi agent
- cooperative
- belief revision
- reactive systems
- temporal epistemic
- verification method
- temporal knowledge
- program committee
- bounded model checking
- artificial intelligence
- temporal resolution
- predicate logic
- temporal constraints
- transition systems
- knowledge discovery
- information systems