A new modal logic for reasoning about space: spatial propositional neighborhood logic.
Antonio MoralesIsabel NavarreteGuido SciaviccoPublished in: Ann. Math. Artif. Intell. (2007)
Keyphrases
- modal logic
- modal operators
- default logic
- prime implicates
- autoepistemic logic
- temporal logic
- classical logic
- space time
- decision procedures
- nonmonotonic logics
- inference rules
- spatial reasoning
- epistemic logic
- coalition logic
- spatial information
- general logic programs
- dynamic logic
- neighborhood information
- explanation based generalization
- situation calculus
- conditional logic
- model checking
- truth maintenance systems
- multi valued
- causal theories
- sequent calculi
- spatial location
- horn clauses
- default reasoning
- nonmonotonic reasoning
- spatial data