CIRCUMSCRIPTION AND PROJECTION AS PRIMITIVES OF LOGIC PROGRAMMING

DOI10.4230/LIPICS.ICLP.2010.202zbMath1237.68210OpenAlexW2164890139MaRDI QIDQ2883093

Christoph Wernhard

Publication date: 11 May 2012

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

zbMATH Keywords

projectionlogic programsstable model semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Related Items (1)

Projection and scope-determined circumscription

This page was built for publication: CIRCUMSCRIPTION AND PROJECTION AS PRIMITIVES OF LOGIC PROGRAMMING