Temporal alethic-deontic logic and semantic tableaux.
Daniel RönnedalPublished in: J. Appl. Log. (2012)
Keyphrases
- deontic logic
- spatio temporal
- temporal data
- natural language
- legal reasoning
- temporal reasoning
- inference rules
- modal logic
- spatial and temporal
- temporal constraints
- knowledge representation language
- temporal information
- semantic web
- formal semantics
- temporal logic
- high level
- domain ontology
- theorem proving
- automated reasoning
- logic programs
- decision procedures
- nonmonotonic logics
- data model