PROMAL - Programming in Modal Action Logic.
Odinaldo RodriguesMario R. F. BenevidesPublished in: PLILP (1994)
Keyphrases
- modal logic
- transition systems
- nonmonotonic logics
- temporal logic
- model checking
- programming language
- classical logic
- reactive systems
- dynamic logic
- logic programming
- programming environment
- inference rules
- development environment
- databases
- action theories
- reasoning about actions
- deontic logic
- epistemic logic
- practical reasoning
- action selection
- asynchronous circuits
- proof theory
- causal knowledge
- concurrent programming
- sound and complete axiomatization
- modal operators
- action sequences
- defeasible logic
- programming course
- multi valued
- computer programming
- object oriented programming
- situation calculus
- human actions
- website
- neural network