3470 search results - page 211 / 694 » Head-Elementary-Set-Free Logic Programs |
223
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
171
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
198
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Interesting properties of programs can be expressed using contextual equivalence. The latter is difficult to prove directly, hence (pre-)logical relations are often used as a tool ...
154
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...
207
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...