Modulo Theories.

Luca Geatti Alessandro Gianola Nicola Gigante Sarah Winkler

Published in: ECAI (2023)

Keyphrases

modulo theories
answer set programming
satisfiability modulo theories
stable model semantics
logic programming
knowledge representation
logic programs