License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.5.1
URN: urn:nbn:de:0030-drops-46193
URL: http://drops.dagstuhl.de/opus/volltexte/2014/4619/
Go back to Dagstuhl Reports


Adaricheva, Kira V. ; Italiano, Giuseppe F. ; Kleine Büning, Hans ; Turán, György
Weitere Beteiligte (Hrsg. etc.): Kira V. Adaricheva and Giuseppe F. Italiano and Hans Kleine Büning and György Turán

Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)

pdf-format:
dagrep_v004_i005_p001_s14201.pdf (0.9 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14201 "Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications". The seminar brought together researchers working in various areas of mathematics and computer science, mostly in algebra, logic, date base theory, artificial intelligence and data mining. A key objective of the seminar has been to bring together a critical mass of researchers and to provide a platform for personal contacts and scientific interchange between the different disciplines in an atmosphere that will stimulate collaboration and lead to new partnerships. The goal was to crystallize the main research directions and to disseminate challenging open problems across the different research areas.

BibTeX - Entry

@Article{adaricheva_et_al:DR:2014:4619,
  author =	{Kira V. Adaricheva and Giuseppe F. Italiano and Hans Kleine B{\"u}ning and Gy{\"o}rgy Tur{\'a}n},
  title =	{{Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201)}},
  pages =	{1--26},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{5},
  editor =	{Kira V. Adaricheva and Giuseppe F. Italiano and Hans Kleine B{\"u}ning and Gy{\"o}rgy Tur{\'a}n},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4619},
  URN =		{urn:nbn:de:0030-drops-46193},
  doi =		{10.4230/DagRep.4.5.1},
  annote =	{Keywords: Horn formulas, directed hypergraphs, lattices, closure system, data bases,  implicational systems and concept analysis}
}

Keywords: Horn formulas, directed hypergraphs, lattices, closure system, data bases, implicational systems and concept analysis
Seminar: Dagstuhl Reports, Volume 4, Issue 5
Issue Date: 2014
Date of publication: 01.09.2014


DROPS-Home | Fulltext Search | Imprint Published by LZI