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

Adaricheva, Kira V.; Italiano, Giuseppe F.; Kleine Büning, Hans; Turán, György

doi:10.4230/DagRep.4.5.1

Document

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

Authors Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, György Turán and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 4, Issue 5
Part of: Volume: Dagstuhl Reports, Volume 4
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2014-09-01

PDF

File

PDF

DagRep.4.5.1.pdf

Filesize: 0.86 MB
26 pages

Document Identifiers

DOI: 10.4230/DagRep.4.5.1
URN: urn:nbn:de:0030-drops-46193

Subject Classification

Keywords

Horn formulas
directed hypergraphs
lattices
closure system
data bases
implicational systems and concept analysis

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, and György Turán. Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications (Dagstuhl Seminar 14201). In Dagstuhl Reports, Volume 4, Issue 5, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014) https://doi.org/10.4230/DagRep.4.5.1

Author Details

Kira V. Adaricheva

Giuseppe F. Italiano

Hans Kleine Büning

György Turán

and all authors of the abstracts in this report

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail

	
		OSZAR »