A Monadic Logic of Ordered Abelian Groups.

George Metcalfe Olim Tuyt

Published in: AiML (2020)

Keyphrases

deductive databases
logic programming
classical logic
datalog queries
modal logic
semantics of logic programs
cluster analysis
proof theory
database
learning algorithm
defeasible logic