Sciweavers

602 search results - page 2 / 121
» Knowledge Base Compilation and the Language Design Game
Sort
View
111
Voted
ICDT
2011
ACM
242views Database» more  ICDT 2011»
14 years 29 days ago
Knowledge compilation meets database theory: compiling queries to decision diagrams
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
Abhay Kumar Jha, Dan Suciu
FPLE
1995
15 years 1 months ago
Compiler Construction Using Scheme
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...
Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, ...
75
Voted
JSAT
2006
126views more  JSAT 2006»
14 years 9 months ago
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
Sylvie Coste-Marquis, Daniel Le Berre, Florian Let...
84
Voted
FLAIRS
2007
14 years 12 months ago
Compiling Experience into Knowledge
Typical application fields of Knowledge Based Systems are a usually characterized by having human expertise as the only one source to specify their desired behavior. Their design...
Rainer Knauf