Automata for Dynamic Answer Set Solving: Preliminary Report.

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

Published in: ICLP Workshops (2021)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set programs
knowledge base
finite state machines
fixpoint
database
information systems
stable models
normal logic programs