351 search results - page 54 / 71 » Nominal Equational Logic |
135
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
105
click to vote
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Agreement is an important concept in group interaction, both for computermediated and face-to-face groups. This paper presents a measure of disagreement, D, for groups facing limi...
154
click to vote
TMC
2012
13 years 4 months ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
118
click to vote
VLDB
1991
ACM
15 years 5 months ago
1991
ACM
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
123
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...