A Dynamic Logic of Multiprocessing with Incomplete Information.
John H. ReifGary L. PetersonPublished in: POPL (1980)
Keyphrases
- incomplete information
- dynamic logic
- first order logic
- modal logic
- query answering
- reasoning about actions
- partial information
- autonomous agents
- imperative programs
- missing information
- knowledge representation and reasoning
- relational databases
- propositional dynamic logic
- open world
- dynamic environments
- description logics
- negotiation strategies
- object oriented
- artificial intelligence