Baselice, Sabrina and Bonatti, Piero Andrea (2008) Composing normal programs with function symbols. In: ICLP 2008, December 9-13 2008, Udine.

Il contenuto (Full text) non è disponibile all'interno di questo archivio. [error in script] [error in script]
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: Composing normal programs with function symbols
Autori:
AutoreEmail
Baselice, Sabrina[non definito]
Bonatti, Piero Andrea[non definito]
Autore/i: Sabrina Baselice, Piero Andrea Bonatti
Data: 2008
Numero di pagine: 0
Dipartimento: Scienze fisiche
Titolo dell'evento: ICLP 2008
Luogo dell'evento: Udine
Data dell'evento: December 9-13 2008
Titolo dell'opera che contiene il documento: Logic Programming, 24th International Conference, ICLP 2008
Nazione dell'editore: GERMANIA
Editore: Springer
Data: 2008
ISBN: 978-3-540-89981-5
Volume: Lecture Notes in Computer Science 5366
Intervallo di pagine: pp. 425-439
Numero di pagine: 0
Parole chiave: Answer Set Programming, Infinite domains, Nonmonotonic reasoning
Depositato il: 18 Ott 2010 08:15
Ultima modifica: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5512

Abstract

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

Downloads

Downloads per month over past year

Actions (login required)

Modifica documento Modifica documento