FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

Open Webpage

Thomas Eiter, Mantas Simkus

Published: 2010, Last Modified: 12 May 2025ACM Trans. Comput. Log. 2010EveryoneRevisionsBibTeXCC BY-SA 4.0