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.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Resource language: English
Title: Composing normal programs with function symbols
Creators:
Creators
Email
Baselice, Sabrina
UNSPECIFIED
Bonatti, Piero Andrea
UNSPECIFIED
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
Keywords: Answer Set Programming, Infinite domains, Nonmonotonic reasoning
Date Deposited: 18 Oct 2010 08:15
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5512

Collection description

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)

View Item View Item