Extending the WMSO+U Logic with Quantification over Tuples.

Anita Badyl Pawel Parys

Published in: CSL (2024)

Keyphrases

database
classical logic
logic programming
automated reasoning
machine learning
nonmonotonic logics
computational properties
data streams
modal logic
multi valued
data sets
proof theory
information retrieval
user defined
data structure
set theory
information systems