Founded World Views with Autoepistemic Equilibrium Logic.

Pedro Cabalar Jorge Fandinno Luis Fariñas del Cerro

Published in: CoRR (2019)

Keyphrases

default logic
database
multiple views
modal logic
information retrieval
default theories
real time
autoepistemic logic
database systems
vision system
multi view
single view
physical world