Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems.

Spencer Killen Jia-Huai You

Published in: CoRR (2023)

Keyphrases

reasoning systems
automated reasoning
knowledge representation and reasoning
diagnostic reasoning
description logics
hybrid approaches
neural network
knowledge base
theorem prover
data sets
knowledge representation
logic programs
deductive databases