Login / Signup

Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic.

Katsuhiko SanoTomoyuki Yamada
Published in: TLLM (2022)
Keyphrases
  • deontic logic
  • classical logic
  • logic programming
  • modal logic
  • digital circuits
  • linear logic
  • information retrieval
  • probabilistic model
  • regularization term
  • long sequences
  • linear time temporal logic