Getting started: Beginnings in the Logic of Action.
Krister SegerbergPublished in: Stud Logica (1992)
Keyphrases
- transition systems
- logic programming
- modal logic
- table of contents
- reasoning about actions
- classical logic
- action descriptions
- delay insensitive
- causal knowledge
- deontic logic
- multi valued
- action theories
- digital circuits
- defeasible logic
- database
- action selection
- database management
- action recognition
- logic programs
- programming language
- decision making
- computer vision
- search engine
- artificial intelligence