2 papers
cs.LO2016
Proving Infinitary Formulas
Amelia Harrison, Vladimir Lifschitz, Julian Michael
The infinitary propositional logic of here-and-there is important for the theory of answer set programming in view of its relation to strongly equivalent transformations of logic p…
cs.LO2016
First-Order Modular Logic Programs and their Conservative Extensions
Amelia Harrison, Yuliya Lierler
Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, whic…