Sign in

Deontic Equilibrium Logic with eXplicit Negation.

Pedro CabalarAgata CiabattoniLeendert van der Torre
Published in: JELIA (2023)
Keyphrases
  • logic programs
  • deductive databases
  • neural network
  • high level
  • explicitly represented
  • data sets
  • real world
  • learning algorithm
  • website
  • multiscale
  • logic programming
  • horn clauses
  • predicate logic
  • compositional semantics