Filters
Complexity Issues Related to Propagation Completeness
Knowledge compilation is a process of adding more information to a knowledge base in order to make it easier to deduce facts from the compiled base than from the original one. One type of knowledge com...
IN - Informatika
- 2013 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Knowledge compilation from DNF to switch-list representations
to such representation: (1) a knowledge compilation problem, i.e. a problem of transforming a given representation, and (2) a knowledge compression problem, i.e. a problem of finding the most the compilation probl...
IN - Informatika
- 2016 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
A Compiler for Weak Decomposable Negation Normal Form
This paper integrates weak decomposable negation normal form (wDNNF) circuits, introduced by Akshay et al. in 2018, into the knowledge compilation map. This circuit the queries and transformations presented in the knowledge...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Knowledge compilation and compression using interval representations
Abstract In this short note we will present a less common way how to represent a Boolean function, namely a representation by truepoint intervals. There are two problems connected to such representation: ( ) a knowledge compilation ...
IN - Informatika
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Switch-List Representations in a Knowledge Compilation Map
the language SL of all SLR in the Knowledge Compilation Map [Darwiche and Marquis, 2002 language in knowledge compilation. First we compare SL with a number of standard......
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Analysis of theoretical knowledge in the field of mathematical methods of signal analysis
and the compiled sets of knowledge will be taken over.The subject of contract research is the analysis and compilation of a set of theoretical knowledge in the field of mathematical methods of signal analysis for ...
Automation and control systems
- 2021 •
- Vsouhrn
Rok uplatnění
Vsouhrn - Souhrnná výzkumná zpráva
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings
encodings with respect to the knowledge compilation map including the list of efficientWe describe a compilation language of backdoor decomposable monotone circuits (BDMCs) which generalizes several concepts appearing in t...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
CRITICAL SUCCESS FACTORS OF COMPILATION PROCESS OF ENERGY PERFORMANCE CERTIFICATE OF THE EXISTING BUILDING
In the Czech republic is from 2013 obligatory to compile energy performance certificates of building even for existing buildings. One of more cases is sale or renting objective certificate. This process risk can be eliminated by knowledg...
JN - Stavebnictví
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
A faster implementation of EQ and SE queries for switch-list representations
in the Knowledge Compilation Map introduced in Darwiche and Marquis (JAIR 2002). These queries of representation languages considered in the Knowledge Compilation Map is the sentential: it first compiles ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Properties of Switch-List Representations of Boolean Functions
of this paper is to include this type of representation in the Knowledge Compilation Map constitute a reasonable choice for a target language in knowledge compilation. First, we and OBDDs, we develop a polynomial ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 54 384