Search
Search Results
-
On the benefits of knowledge compilation for feature-model analyses
Feature models are commonly used to specify the valid configurations of product lines. As industrial feature models are typically complex,...
-
An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages
Conditional preference statements have been used to compactly represent preferences over combinatorial domains. They are at the core of CP-nets and...
-
A knowledge compilation perspective on queries and transformations for belief tracking
Nondeterministic planning is the process of computing plans or policies of actions achieving given goals, when there is nondeterministic uncertainty...
-
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis
Given a specification as a Boolean relation between inputs and outputs, Boolean functional synthesis generates a function, called a Skolem function,...
-
Adaptive query compilation in graph databases
Compiling database queries into compact and efficient machine code has proven to be a great technique to improve query performance and exploit...
-
Low-latency query compilation
Query compilation is a processing technique that achieves very high processing speeds but has the disadvantage of introducing additional compilation...
-
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation
The use of Shap scores has become widespread in Explainable AI. However, their computation is in general intractable, in particular when done with a...
-
Shareable and Inheritable Incremental Compilation in iOOBN
Object-oriented Bayesian networks (OOBNs) allow modellers to construct compositional and hierarchical models, using an inheritance hierarchy of...
-
Sgap: towards efficient sparse tensor algebra compilation for GPU
Sparse compiler is a promising solution for sparse tensor algebra optimization. In compiler implementation, reduction in sparse-dense hybrid algebra...
-
Correspondence between Hierarchical Knowledge Classifiers
AbstractHierarchical, descriptive, and faceted methods of constructing knowledge classifiers and also the classification of knowledge using...
-
Knowledge representation and acquisition for ethical AI: challenges and opportunities
Machine learning (ML) techniques have become pervasive across a range of different applications, and are now widely used in areas as disparate as...
-
Explicable knowledge graph (X-KG): generating knowledge graphs for explainable artificial intelligence and querying them by translating natural language queries to SPARQL
Knowledge graphs represent a potent instrument for the classification and exhibition of data, as they encompass a systematic approach for the...
-
RDFtex in-depth: knowledge exchange between LATEX-based research publications and Scientific Knowledge Graphs
For populating Scientific Knowledge Graphs (SciKGs), research publications pose a central information source. However, typical forms of research...
-
Revisiting split tiling for stencil computations in polyhedral compilation
Complex tile shapes maximize parallelism and locality of stencil computations by enabling tile-wise concurrent start, i.e. , all tiles along a...
-
Efficient Compilation of Regular Path Queries
Ad hoc code generation is a state-of-the-art processing paradigm for database execution engines. It minimizes resource consumption by generating...
-
Just-in-Time Compilation and Link-Time Optimization for OpenMP Target Offloading
Following the mass adoption of external accelerators for high performance computing, the overall performance of many applications has become...
-
Certifying Choreography Compilation
Choreographic programming is a paradigm for develo** concurrent and distributed systems, where programs are choreographies that define, from a...
-
Phase Transition Behavior in Knowledge Compilation
The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements in modern SAT solvers. Motivated by these...
-
Integrating programming errors into knowledge graphs for automated assignment of programming tasks
In this study, we developed a classification system of programming errors based on the historical data of 680,540 programming records collected on...
