Goal-Sensitive Reasoning with Disconnection Tableaux.

Published in: TABLEAUX (2017)

Keyphrases

knowledge representation
automated reasoning
modal logic
database
artificial intelligence
knowledge base
real time
neural network
case study
power consumption
theorem prover
qualitative reasoning
reasoning systems
analogical reasoning
low bandwidth