An extension of the stable semantics via Lukasiewicz logic.

Mauricio Osorio José Luis Carballido

Published in: LANMR (2019)

Keyphrases

modal logic
truth values
classical logic
linear time temporal logic
multi valued
modal operators
inference rules
automated reasoning
proof theoretic
information retrieval
situation calculus
knowledge base
nonmonotonic logics
predicate logic
temporal logic
multi agent
learning algorithm