Sign in

Semantics for Conditional Literals via the SM Operator.

Zachary HansenYuliya Lierler
Published in: LPNMR (2022)
Keyphrases
  • conditional logic
  • formal semantics
  • default reasoning
  • logic programming
  • data sets
  • nonmonotonic reasoning
  • update operators
  • neural network
  • operational semantics
  • epistemic states
  • random field model