Some semilattices of definable sets in continuous logic.

Published in: J. Log. Anal. (2024)

Keyphrases

logical equivalence
classical logic
logic programming
np complete
default theories
horn clauses
modal logic
sound and complete axiomatization
monadic second order logic
set theory
answer sets
learning algorithm
first order logic
logic programs
knowledge representation
reinforcement learning
database systems