Tight Semantics for Logic Programs

From MaRDI portal

Publication:2883086

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2010.134zbMath1237.68048OpenAlexW1534321109MaRDI QIDQ2883086

Alexandre Miguel Pinto, Luís Moniz Pereira

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_fa61.html

zbMATH Keywords

relevance well-founded semantics cumulativity stable models normal logic programs program remainder

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: Tight Semantics for Logic Programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2883086&oldid=15831676"