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.
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'.

Actions (login required)

Modifica documento Modifica documento