764 search results - page 76 / 153 » On the Expressibility of Stable Logic Programming |
FOAL
2007
ACM
15 years 3 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
117
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
121
click to vote
DALT
2005
Springer
15 years 5 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
ICALP
2009
Springer
15 years 4 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...