Deontic Equilibrium Logic with eXplicit Negation.

Pedro Cabalar Agata Ciabattoni Leendert 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