Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds.
Erik SandewallPublished in: IJCAI (1989)
Keyphrases
- tableau calculus
- logic programming
- action sequences
- probabilistic logic
- reasoning about actions
- continuous action
- action theories
- action space
- transition systems
- initial state
- situation calculus
- noise reduction
- modal logic
- np complete
- filtering algorithm
- multi valued
- human actions
- classical logic
- logic programs
- asynchronous circuits
- logic based argumentation
- minimal models
- image processing
- digital circuits
- probability theory
- nonmonotonic reasoning
- probabilistic reasoning
- temporal logic
- description logics