Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions.

Benedikt Wagner Artur S. d'Avila Garcez

Published in: AAAI Spring Symposium: MAKE (2022)

Keyphrases

closed world
symbolic reasoning
closed world assumptions
open world
data exchange
symbolic representation
production rules
closed world assumption
null values
stable model semantics
query answering
database
integrity constraints
incomplete information