Automata for dynamic answer set solving: Preliminary report.

Pedro Cabalar Martín Diéguez Susana Hahn Torsten Schaub

Published in: CoRR (2021)

Keyphrases

answer sets
logic programs
answer set programming
artificial intelligence
answer set semantics
state space
software engineering
information retrieval systems
fixpoint
normal logic programs