Login / Signup

Founded World Views with Autoepistemic Equilibrium Logic.

Pedro CabalarJorge FandinnoLuis Fariñas del Cerro
Published in: LPNMR (2019)
Keyphrases
  • multiple views
  • default logic
  • modal logic
  • autoepistemic logic
  • data sets
  • knowledge representation
  • logic programming
  • first order logic
  • physical world
  • default theories
  • nonmonotonic logics