2152 search results - page 232 / 431 » On Automating the Calculus of Relations |
216
click to vote
DLOG
2011
14 years 10 months ago
2011
Linked Data makes one central addition to the Semantic Web principles: all entity URIs should be dereferenceable to provide an authoritative RDF representation. URIs in a linked da...
165
click to vote
IJAHUC
2011
14 years 10 months ago
2011
: In recent years, the merging of computing with physical things, enabled the transformation of everyday objects into information appliances. We propose to reuse the central princi...
214
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
164
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
207
click to vote
PLPV
2010
ACM
16 years 3 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...