Reasoning in Dynamic Logic about Program Termination.
Daniel LeivantPublished in: Pillars of Computer Science (2008)
Keyphrases
- dynamic logic
- reasoning about actions
- imperative programs
- modal logic
- logic programming
- knowledge base
- knowledge representation
- propositional dynamic logic
- agent programming
- qualitative reasoning
- reasoning tasks
- computer programs
- reasoning systems
- situation calculus
- term rewriting
- automated reasoning
- plan execution
- knowledge representation and reasoning
- automatic programming
- business processes
- fuzzy logic
- expert systems