License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.9.62
URN: urn:nbn:de:0030-drops-85896
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/8589/
Go back to Dagstuhl Reports

Darwiche, Adnan ; Marquis, Pierre ; Suciu, Dan ; Szeider, Stefan
Weitere Beteiligte (Hrsg. etc.): Adnan Darwiche and Pierre Marquis and Dan Suciu and Stefan Szeider

Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)

pdf-format:
dagrep_v007_i009_p062_17381.pdf (3 MB)

Abstract

Knowledge compilation (KC) is a research topic which aims to investigate the possibility of circumventing the computational intractability of hard tasks, by preprocessing part of the available information, common to a number of instances. Pioneered almost three decades ago, KC is nowadays a very active research field, transversal to several areas within computer science. Among others, KC intersects knowledge representation, constraint satisfaction, algorithms, complexity theory, machine learning, and databases.

The results obtained so far take various forms, from theory (compilability settings, definition of target languages for KC, complexity results, succinctness results, etc.) to more practical results (development and evaluation of compilers and other preprocessors, applications to diagnosis, planning, automatic configuration, etc.). Recently, KC has been positioned as providing a systematic method for solving problems beyond NP, and also found applications in machine learning.

The goal of this Dagstuhl Seminar was to advance both aspects of KC, and to pave the way for a fruitful cross-fertilization between the topics, from theory to practice. The program included a mixture of long and short presentations, with discussions. Several long talks with a tutorial flavor introduced the participants to the variety of aspects in knowledge compilation and the diversity of techniques used. System presentations as well as an open problem session were also included in the program.

BibTeX - Entry

@Article{darwiche_et_al:DR:2018:8589,
  author =	{Adnan Darwiche and Pierre Marquis and Dan Suciu and Stefan Szeider},
  title =	{{Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)}},
  pages =	{62--85},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{9},
  editor =	{Adnan Darwiche and Pierre Marquis and Dan Suciu and Stefan Szeider},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8589},
  URN =		{urn:nbn:de:0030-drops-85896},
  doi =		{10.4230/DagRep.7.9.62},
  annote =	{Keywords: Knowledge compilation, Constraints, Preprocessing, Probabilistic databases, Model counting}
}

Keywords: Knowledge compilation, Constraints, Preprocessing, Probabilistic databases, Model counting
Collection: Dagstuhl Reports, Volume 7, Issue 9
Issue Date: 2018
Date of publication: 07.03.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI