15754 search results - page 2785 / 3151 » Programs are Knowledge Bases |
165
Voted
COCO
2004
Springer
16 years 28 days ago
2004
Springer
The language compression problem asks for succinct descriptions of the strings in a language A such that the strings can be efficiently recovered from their description when given...
179
Voted
CP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
150
click to vote
CPAIOR
2004
Springer
16 years 28 days ago
2004
Springer
We discuss a di cult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the b...
176
Voted
CSL
2004
Springer
16 years 28 days ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
204
Voted
CSL
2004
Springer
16 years 28 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...