120 search results - page 15 / 24 » Experimenting with Deduction Modulo |
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
The Web has plenty of reviews, comments and reports about products, services, government policies, institutions, etc. The opinions expressed in these reviews influence how people...
IJCAI
1989
14 years 10 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
CORR
2009
Springer
14 years 7 months ago
2009
Springer
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proce...
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
HT
2004
ACM
15 years 2 months ago
2004
ACM
This paper describes an experiment to augment SCORM manifests with adaptive links using AuldLinky in order to promote content reusability, interoperability and personalized elearn...