1781 search results - page 102 / 357 » Functional Answer Set Programming |
112
click to vote
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
PASTE
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
117
click to vote
ICS
1997
Tsinghua U.
15 years 3 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 5 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...
DMSN
2004
ACM
15 years 4 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...