Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(328)
Pierre Marquis
19
Adnan Darwiche
11
Erik A. Rosenthal
10
Neil V. Murray
10
Bart Selman
9
Conferences
(50)
AAAI
14
IJCAI
11
ECAI
6
ISMIS
5
TABLEAUX
5
Journals
(53)
AI
10
EXPERT
8
JAR
6
CORR
6
JAIR
3
Keywords
(23)
Subscribe
Academic
Keywords
Knowledge Compilation
,Knowledge Compilation,knowledge compiling,knowledge compiled,Knowledge Compiler
Knowledge Compilation
Publications: 242
|
Citation Count: 3,777
Stemming Variations:
knowledge compiling, knowledge compiled, Knowledge Compiler
Cumulative
Annual
Definition Context
(5)
Knowledge compilation is an emerging research area that focuses on "compiling" a problem solver's inefficient, explicit knowledge represen tation into more efficient, implicit forms...
Wesley Braudaway
,
et al.
Automated Synthesis of Constrained Generators
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered efficiently...
Ulrich Furbach
,
et al.
A Knowledge Compilation Technique for ALC Tboxes
Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ((11),(6)), for which queries can be answered efficiently...
Ulrich Furbach
,
et al.
Precompiling ALC TBoxes and Query Answering
Knowledge compilation is an AI technique for addressing computationally demanding reasoning problems...
Marco Cadoli
,
et al.
A Survey on Knowledge Compilation
Knowledge compilation is the process by which an initial theory with respect to which in ference is intractable is transformed into one or more "approximate" or equivalent theories with respect to which inference can be performed ef ficiently...
Alvaro Del Val
.
An Analysis of Approximate Knowledge Compilation
Sort by:
Publications
(242)
Knowledge Compilation with Empowerment
(
Citations: 1
)
Lucas Bordeaux
,
Joao Marques Silva
Published in 2012.
On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Lucas Bordeaux
,
Mikolas Janota
,
Joao Marques-Silva
,
Pierre Marquis
Published in 2012.
On the tractability of query compilation and bounded treewidth
Abhay Jha
,
Dan Suciu
Published in 2012.
Ranking Query Answers in Probabilistic Databases: Complexity and Efficient Algorithms
Dan Olteanu
,
Hongkai Wen
Conference:
International Conference on Data Engineering - ICDE
, pp. 282-293, 2012
Knowledge compilation for automated Team Composition exploiting standard SQL
Eufemia Tinelli
,
Simona Colucci
,
Eugenio Di Sciascio
,
Francesco M. Donini
Published in 2012.