LPNMR
2005
Springer
14 years 7 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
LPAR
2005
Springer
14 years 7 months ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
TEI
2010
ACM
14 years 9 months ago
2010
ACM
I propose the concept of expressive surfaces as a research theme to investigate and explore aesthetics of computational objects with its emphasis on forms and materials. In this p...