Composing normal programs with function symbols

BASELICE, SABRINA and BONATTI, PIERO ANDREA (2008) Composing normal programs with function symbols. In: ICLP 2008, December 9-13 2008, Udine.

Full text non disponibile da questo archivio.

Abstract

Tecniche per comporre programmi logici con buone proprieta' computazionali in mod da preservare tali proprieta'.

Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Parole chiave:Answer Set Programming, Infinite domains, Nonmonotonic reasoning
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2008
Altri Autori:Sabrina Baselice, Piero Andrea Bonatti
Editore:Springer
Numero di pagine:0
Intervallo di pagina:pp. 425-439
Volume:Lecture Notes in Computer Science 5366
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
ISBN:978-3-540-89981-5
Titolo dell'evento:ICLP 2008
Luogo dell'Evento:Udine
Data dell'evento:December 9-13 2008
Numero di sistema:5512
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record