580 search results - page 73 / 116 » On the Foundations of Answer Set Programming |
123
click to vote
ICS
1997
Tsinghua U.
15 years 4 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
We report on recent advancements in the development of grounder Gringo for logic programs under answer set semantics. Like its relatives, DLV and Lparse, Gringo has in the meantime...
SIGCSE
2009
ACM
16 years 14 days ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
100
click to vote
SIGMOD
2001
ACM
16 years 23 hour ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...