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

Full text not available from this repository. [error in script] [error in script]
Item Type: Conference or Workshop Item (UNSPECIFIED)
Lingua: English
Title: Composing normal programs with function symbols
Baselice, SabrinaUNSPECIFIED
Bonatti, Piero AndreaUNSPECIFIED
Autore/i: Sabrina Baselice, Piero Andrea Bonatti
Date: 2008
Number of Pages: 0
Department: Scienze fisiche
Event Title: ICLP 2008
Event Location: Udine
Event Dates: December 9-13 2008
Title of Book: Logic Programming, 24th International Conference, ICLP 2008
Nazione dell'editore: GERMANIA
Publisher: Springer
Date: 2008
ISBN: 978-3-540-89981-5
Volume: Lecture Notes in Computer Science 5366
Page Range: pp. 425-439
Number of Pages: 0
Uncontrolled Keywords: Answer Set Programming, Infinite domains, Nonmonotonic reasoning
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41


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


Downloads per month over past year

Actions (login required)

View Item View Item