First Steps Towards a Logic of Ordered Pairs.

Henri Prade Gilles Richard

Published in: ECSQARU (2023)

Keyphrases

logic programming
modal logic
classical logic
pairwise
sound and complete axiomatization
machine learning
predicate logic
digital circuits
inference rules
multi valued
proof theory
real time
automated reasoning
probabilistic logic
multi agent
computational properties
nonmonotonic logics
multiscale
learning algorithm