Proof Theory of a Multi-Lane Spatial Logic.

Sven Linker Martin Hilscher

Published in: Log. Methods Comput. Sci. (2015)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
spatial information
partial order
natural language
logical equivalence
knowledge base
probability distribution
belief revision
nonmonotonic reasoning