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

Actions (login required)

View Item View Item