Login / Signup

Two Places Where We Need Plug-Negation in Update Semantics: Symmetrical Presupposition Filtering and Exclusive Disjunction.

Yusuke Yagi
Published in: LENLS (2023)
Keyphrases
  • update semantics
  • answer set programming
  • truth values
  • logic programming
  • deontic logic
  • semantics of logic programs
  • answer sets
  • logic programs
  • deductive databases
  • knowledge base