SAT-based Judgment Aggregation.

Ari Conati Andreas Niskanen Matti Järvisalo

Published in: AAMAS (2023)

Keyphrases

answer set programming
bounded model checking
data aggregation
version space
boolean satisfiability
database
neural network
ai planning
databases
reinforcement learning