PROMAL: Programming in Modal Action Logic.
Odinaldo RodriguesMario R. F. BenevidesPublished in: SBIA (1995)
Keyphrases
- modal logic
- transition systems
- nonmonotonic logics
- temporal logic
- reactive systems
- programming language
- model checking
- reasoning about actions
- logic programming
- practical reasoning
- dynamic logic
- classical logic
- neural network
- human actions
- multi valued
- epistemic logic
- predicate logic
- programming environment
- inference rules
- spatio temporal
- data sets
- asynchronous circuits
- computer programs
- propositional variables