Verifying Strong Equivalence of Programs in the Input Language of gringo.

Vladimir Lifschitz Patrick Lühne Torsten Schaub

Published in: LPNMR (2019)

Keyphrases

strong equivalence
logic programs
answer sets
stable models
answer set semantics
answer set programming
natural language
logic programming
fixpoint
operational semantics
xml documents
knowledge representation
conceptual model