70 search results - page 10 / 14 » Inferring acceptable arguments with Answer Set Programming |
128
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
112
Voted
ANLP
1994
15 years 3 months ago
1994
A computational model for the acquisition of knowledge from encyclopedic texts is described. The model has been implemented in a program, called SNOWY, that reads unedited texts f...
126
Voted
CPM
2009
Springer
15 years 9 months ago
2009
Springer
The haplotype inference problem (HIP) asks to find a set of haplotypes which resolve a given set of genotypes. This problem is of enormous importance in many practical fields, su...
IGPL
2010
15 years 1 months ago
2010
: Popper s suggestion of taking methodological norms as conventions is examined from the point of view of game theory. The game of research is interpreted as a game of persuasion, ...
219
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...