1814 search results - page 176 / 363 » Extended First-Order Logic |
160
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
120
Voted
ILP
2000
Springer
15 years 7 months ago
2000
Springer
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
110
Voted
APAL
2008
15 years 3 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
115
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
139
click to vote
JCP
2008
15 years 3 months ago
2008
Two controllers which extend the PD+I fuzzy logic controller to deal with the plant having time varying nonlinear dynamics are proposed. The adaptation ability of the first self tu...