861 search results - page 2 / 173 » A General Framework for Knowledge Compilation |
ACMSE
2011
ACM
12 years 7 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
LPNMR
2001
Springer
13 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
This study addresses a long-standing and wellrecognized problem in KM research, namely the lack of conceptual integration and a cumulative tradition. Knowledge management needs an...
DEXAW
2003
IEEE
14 years 19 days ago
2003
IEEE
FPLE
1995
13 years 11 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...