120 search results - page 15 / 24 » Experimenting with Deduction Modulo |
114
Voted
CIKM
2010
Springer
15 years 1 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...
124
click to vote
IJCAI
1989
15 years 3 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...
116
Voted
CORR
2009
Springer
15 years 11 days 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...
102
Voted
CADE
2008
Springer
16 years 2 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 8 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...