580 search results - page 66 / 116 » On the Foundations of Answer Set Programming |
ENTCS
2006
14 years 12 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
179
click to vote
PODS
2009
ACM
16 years 12 days ago
2009
ACM
Let be a finite, ordered alphabet, and consider a string x = x1x2 . . . xn n . A secondary index for x answers alphabet range queries of the form: Given a range [al, ar] , retu...
141
click to vote
NGC
2006
Springer
14 years 11 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
101
click to vote
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
124
click to vote
IJCAI
1997
15 years 1 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...