An Old Discipline with a New Twist: The Course "Logic in Action".
Johan van BenthemPublished in: FLAP (2017)
Keyphrases
- information systems
- computer science
- reasoning about actions
- logic programming
- predicate logic
- classical logic
- action sequences
- real time
- modal logic
- neural network
- causal knowledge
- multi valued
- defeasible logic
- action language
- action theories
- transition systems
- sound and complete axiomatization
- automated reasoning
- human actions
- software engineering
- state space
- decision making
- artificial intelligence
- data sets