Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy

First Page		Document Content
Date: 2008-11-30 17:58:06 Logic Mathematics Mathematical logic Logic programming Model theory Stable model semantics Modal logic Substitution FO Binomial coefficient		Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 150,69 KB Share Document on Facebook

	Lecture Notes on Virtual Substitution & Real Arithmetic DocID: 1xUTv - View Document
	Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm) DocID: 1xUsN - View Document
	LIVELIHOOD SUBSTITUTION: THE CASE OF THE LYARI EXPRESSWAY DocID: 1vjHF - View Document
	Hereditary Substitution for the λ∆-Calculus Harley Eades and Aaron Stump Computer Science CL&C 2012 Overview DocID: 1vi0p - View Document
	Matthieu Fontaine - L’échec de la généralisation existentielle et de la substitution des identiques chez Hintikka DocID: 1vfiN - View Document