8228 search results - page 74 / 1646 » Structural Logical Relations |
125
click to vote
HYBRID
2010
Springer
15 years 13 days ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
102
click to vote
SLP
1990
15 years 3 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
101
click to vote
VLDB
1987
ACM
15 years 6 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
119
click to vote
AAAI
2006
15 years 3 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
121
click to vote
STACS
1994
Springer
15 years 6 months ago
1994
Springer
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...