583 search results - page 77 / 117 » Preferences in Answer Set Programming |
130
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
ICML
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper introduces a novel machine learning model called multiple instance ranking (MIRank) that enables ranking to be performed in a multiple instance learning setting. The mo...
131
click to vote
ASP
2003
Springer
15 years 6 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...
104
click to vote
PASTE
2010
ACM
15 years 6 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...
136
click to vote
ICS
1997
Tsinghua U.
15 years 5 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 ...