2152 search results - page 219 / 431 » On Automating the Calculus of Relations |
158
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
150
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
192
click to vote
DBKDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
152
click to vote
ISMB
1996
15 years 7 months ago
1996
Whena family of genes from closely related organisms is known,there is a certain chance to extract the corresponding gene from the genomeof another related organism. This can be d...
221
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...