Login / Signup
A Logical Framework for Reasoning about Space.
Laure Vieu
Published in:
COSIT (1993)
Keyphrases
</>
logical framework
belief revision
search space
inference rules
epistemic logic
linear logic
machine learning
expert systems
general purpose
reasoning tasks