Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub - Molinaro - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Document Date: 2013-08-26 10:13:12 Open Document File Size: 492,81 KB Share Result on Facebook Currency pence / / / Person Torsten Schaub / Michael Gelfond / Nicola Leone / Yuliya Lierler / Cristian Molinaro / Irina Trubitsyna / Vladimir Lifschitz / Susanna Cozza / Sergio Greco / Giovambattista Ianni / Francesca Spezzano / Ai / Sven Thiele / Martin Gebser / Marco Calautti / / Position head / / Technology Digital Object Identifier / / SocialTag Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic

Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trubAdd to Reading List