8766 search results - page 87 / 1754 » Functional logic programming |
138
click to vote
FSS
2008
15 years 2 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
86
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
139
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
122
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...