Variants of temporal defeasible logics for modelling norm modifications.
Guido GovernatoriAntonino RotoloRégis RiveretMonica PalmiraniGiovanni SartorPublished in: ICAIL (2007)
Keyphrases
- inheritance reasoning
- default logic
- spatio temporal
- temporal information
- expressive power
- modal logic
- temporal constraints
- defeasible logic
- temporal data
- space time
- objective function
- tableau calculus
- temporal dimension
- nonmonotonic reasoning
- temporal databases
- nonmonotonic inference
- spatial and temporal
- temporal patterns
- database
- inference rules
- temporal consistency
- expert systems