Der Artikel "Simulating Human Inferences in the Light of New Information: A Formal Analysis" von Marco Ragni, Christian Eichhorn und Gabriele Kern-Isberner
wurde zur Präsentation auf der 25th International Joint Conference on Artificial Intelligence (IJCAI-16) akzeptiert.

Vom 11.-15.4. fand in Schloss Dagstuhl ein Perspectives-Workshop zum Thema Foundations of Data Management statt. Professor Schwentick war einer der Organisatoren. Das Ziel war es, die Perspektiven des Fachgebietes in einem internationalen Rahmen zu reflektieren und inhaltliche und organisatorische Initiativen für seine Weiterentwicklung anzustoßen. Nähere Informationen finden sich unter: http://www.dagstuhl.de/16151.

gruppenfoto.jpeg

Die Europäische Gemeinschaft hat im April 2015 eine Forschungsaktion mit dem Titel "Reversible computation - extending horizons of computing (IC1405)" im Rahmen des COST-Programmes (www.cost.eu) initiiert,  mit dem Ziel ein Netzwerk von Wissenschaftlern zu schaffen, die im Gebiet des Reversible Computing aktiv sind bzw. aktiv werden möchten. Dadurch können Synergie-Effekte bzgl. Reversible Computing in Europa erreicht werden. Das Netzwerk soll sowohl ein Austausch von Wissen als auch ein gemeinsames Forschen gezielt unterstützen. (Siehe http://www.cost.eu/COST_Actions/ict/Actions/IC1405)

Prof. Claudio Moraga, vom Lehrstuhl 1, Logik in der Informatik wurde kürzlich als Vertreter Deutschlands in den Aktionsrat des Netzwerkes IC1405 berufen, der aus Vertretern der über 25 teilnehmenden Länder besteht.

Reversible Computing ist ein relativ neues Rechenmodell, charakterisiert durch die Möglichkeit des Umkehrens von Rechenabläufen. Programme, die nach diesem Modell erstellt werden, können leichter als herkömmliche Programme getestet und ggfs. korrigiert werden. Auf der Hardware-Ebene können „low-power“ reversible Schaltungen realisiert werden. Weiterhin werden reversible Schaltungen die Grundkomponenten von Quantenrechnern sein, wenn eine Quantentechnologie verfügbar wird.

C_Moraga.jpg

Am 15. und 16. Februar 2016 findet der 71. Workshop über Algorithmen und Komplexität der GI-Fachgruppen Komplexität (KP) und Algorithmen (ALGO) an der Technischen Universität Dortmund statt. Link zum Theorietag

Die DFG fördert das Projekt 'Dynamische Ausdrucksstärke von Logiken' für weitere drei Jahre mit zwei Vollzeitstellen. In dem Projekt der Arbeitsgruppe von Prof. Schwentick am Lehrstuhl 1 soll weiterhin die Aufrechterhaltung von Informationen für sich schnell ändernde Daten im logischen Kontext untersucht werden.

In vielen aktuellen Datenmanagementszenarien unterliegen Daten ständigen Änderungen ,auf die oft umgehend reagiert werden muss. Beispielsweise
müssen beim Ausfall eines Verteilungsknoten im Internet kurzfristig andere Wege für Datenpakete gefunden werden. Auch der Datenbestand von
Suchmaschinen erneuert sich fortwährend, etwa durch aktualisierte Nachrichten.

Für Anwendungen mit großen Datenbeständen ist es aus Effizienzgründen häufig kaum möglich, nach jeder Änderung die von Benutzern
benötigten Informationen von Grund auf neu zu berechnen. Allerdings lassen sich bereits berechnete Informationen oft mit geringerem
Ressourcenaufwand aktualisieren. So benötigen viele dynamische Algorithmen im Vergleich zu statischen Algorithmen weniger Zeit, um dem
Benutzer aktualiserte Resultate zur Verfügung zu stellen.

Das Problem der Aufrechterhaltung von Informationen wird in diesem Projekt jedoch nicht algorithmisch sondern in einem logischen Kontext betrachtet. Die zur Aktualisierung nötigen Operationen werden deklarativ spezifiziert.

In der ersten Projektphase von 2013-2016 war es gelungen, zusammen mit Koautoren, die seit 20 Jahren offene Frage, ob das Erreichbarkeitsproblem in Graphen mit den Mitteln der Prädikatenlogik erster Stufe aufrechterhalten werden kann, positiv zu beantworten. Die sich daraus ergebenden neuen Perspektiven sollen nun eingehend studiert werden.

 

dfg_logo_blau.jpg

Quelle: Deutsche Forschungsgemeinschaft (DFG)

 

Der Artikel "Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem" von Christoph Beierle (FernUniversität Hagen), Christian Eichhorn und Gabriele Kern-Isberner wurde auf dem 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) akzepiert.

Prof. Dr. Gabriele Kern-Isberner begrüßt am 30.11. und 1.12. Teilnehmer und Interessierte der Forschergruppe HYBRIS zu einem Workshop in Dortmund. Weitere Informationen zur Forschergruppe können der Homepage (https://www.hybrid-reasoning.org/en/) entnommen werden.

Professor Thomas Schwentick (LS 1) ist in den Vorstand (Council)  der European Association for Theoretical Computer Science (EATCS) gewählt worden. Die EATCS ist der europäische Zusammenschluss von Theoretischen Informatikern und veranstaltet unter anderem die jährlich stattfindende Konferenz ICALP (International Colloquium on Automata, Languages and Programming).

Eatcslogo.jpeg

Die Arbeiten "Dynamic Graph Queries" von Pablo Muñoz, Nils Vortmeier und Thomas Zeume sowie "Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation" von Gaetano Geck, Bas Ketsman, Frank Neven und Thomas Schwentick wurden für die International Conference on Database Theory (ICDT), die im März 2016 in Bordeaux stattfindet, akzeptiert.

  1. Thomas Schwentick, Nils Vortmeier and Thomas Zeume.
    Static Analysis for Logic-based Dynamic Programs.
    In 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. 2015, 308–324.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/csl/SchwentickVZ15,
    	author = "Thomas Schwentick and Nils Vortmeier and Thomas Zeume",
    	title = "Static Analysis for Logic-based Dynamic Programs",
    	booktitle = "24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015, September 7-10, 2015, Berlin, Germany",
    	pages = "308--324",
    	year = 2015,
    	url = "http://dx.doi.org/10.4230/LIPIcs.CSL.2015.308",
    	doi = "10.4230/LIPIcs.CSL.2015.308",
    	timestamp = "Mon, 14 Sep 2015 16:03:03 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/csl/SchwentickVZ15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

  1. Daan Apeldoorn.
    Learning Rules for Cooperative Solving of Spatio-Temporal Problems.
    In Kern-Isberner Ragni Stolzenburg G M F Beierle C. (ed.). Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015 1444. 2015, 5–15.
    BibTeX

    @inproceedings{Apeldoorn2015a,
    	author = "Apeldoorn, Daan",
    	title = "Learning Rules for Cooperative Solving of Spatio-Temporal Problems",
    	booktitle = "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI \& Kognition (KIK-2015) co-located with the 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015",
    	pages = "5--15",
    	year = 2015,
    	editor = "Beierle, C., Kern-Isberner, G., Ragni, M., Stolzenburg, F.",
    	volume = 1444,
    	series = "CEUR Workshop Proceedings",
    	address = "Aachen",
    	publisher = "CEUR-WS.org"
    }
    

Link zum Paper: http://ceur-ws.org/Vol-1444/paper1.pdf

Am 20.10.2015 hat Parick Krümpelmann erfolgreich seine Dissertation mit dem Titel "Belief Revision, Non-monotonic Reasoning and Secrecy for Epistemic Agents" verteidigt.

In seiner Arbeit beschäftigt sich Herr Krümpelmann mit der Frage, wie intelligente Agenten miteinander kommunizieren und trotzdem Geheimnisse voreinander bewahren können. Hierzu stellt er den entsprechenden formalen Rahmen von Geheimnisbewahrung ebenso wie eine Implementierung seiner Ergebnisse als Framework "Angerona" vor.

Der Artikel "Qualitative Probabilistic Inference with Default Inheritance", Paul Thorn, Christian Eichhorn, Gabriele Kern-Isberner, Gerhard Schurz wurde auf der Veranstaltung "5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015)" von Christian Eichhorn vorgestellt.

  1. Paul D Thorn, Christian Eichhorn, Gabriele Kern-Isberner and Gerhard Schurz.
    Qualitative Probabilistic Inference with Default Inheritance for Exceptional Subclasses.
    In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni and Frieder Stolzenburg (eds.). Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015) 1444. 2015.
    BibTeX

    @inproceedings{ThornEichhornKernIsbernerSchurz2015b,
    	author = "Thorn, Paul D. AND Eichhorn, Christian AND Kern-Isberner, Gabriele AND Schurz, Gerhard",
    	title = "{Q}ualitative {P}robabilistic {I}nference with {D}efault {I}nheritance for {E}xceptional {S}ubclasses",
    	booktitle = "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI \& Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015)",
    	editor = "Beierle, Christoph AND Kern-Isberner, Gabriele AND Ragni, Marco AND Stolzenburg, Frieder",
    	series = "CEUR Workshop Proceedings",
    	volume = 1444,
    	year = 2015
    }
    

Proceedings des Workshops:


  1. .
    In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni and Frieder Stolzenburg (eds.). Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015) 1444. 2015.
    BibTeX

    @inproceedings{ThornEichhornKernIsbernerSchurz2015b,
    	booktitle = "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI \& Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015)",
    	editor = "Beierle, Christoph AND Kern-Isberner, Gabriele AND Ragni, Marco AND Stolzenburg, Frieder",
    	series = "CEUR Workshop Proceedings",
    	volume = 1444,
    	year = 2015
    }
    

http://ceur-ws.org/Vol-1444/proceedings.pdf

Gabriele Kern-Isberner hat zusammen mit Christoph Beierle, Marco Ragni und Frieder Stolzenburg den Workshop "5th Workshop on Dynamics of Knowledge and Belief" (DKB-2015) and "4th Workshop KI & Kognition" (KIK-2015) im Rahmen der 38th German Conference on Artificial Intelligence (KI-2015) organisiert.

  1. Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni and Frieder Stolzenburg (eds.).

    1444. 2015.
    BibTeX

    @proceedings{DBK2015,
    	booktitle = "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI \& Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015)",
    	editor = "Beierle, Christoph AND Kern-Isberner, Gabriele AND Ragni, Marco AND Stolzenburg, Frieder",
    	series = "CEUR Workshop Proceedings",
    	volume = 1444,
    	year = 2015
    }
    

Proceedings des Workshops: http://ceur-ws.org/Vol-1444

 

PODS BPA2Bei der 36. ACM-Konferenz  "Principles of Database Systems"  (PODS 2015) wurde die Arbeit  "Parallel-Correctness and Transferability for Conjunctive Queries" mit dem "Best Paper Award" ausgezeichnet.

Die Arbeit wurde von Gaetano Geck und Thomas Schwentick (Lehrstuhl 1) zusammen mit ihren Kollegen Tom Ameloot, Bas Ketsman und Frank Neven (Universität Hasselt, Belgien) verfasst.

Aufbauend auf einer einfachen formalen Beschreibung von Verteilungen von Datenbankinstanzen auf Knoten eines Netzwerks untersucht die Arbeit

  • die vollständige Auswertbarkeit einer Und-Anfrage unter einer gegebenen Verteilung sowie
  • die Wiederverwendbarkeit einer für eine Anfrage geeigneten Verteilung für weitere Anfragen.

Zu den Ergebnissen zählen untere und obere Komplexitätsschranken für verschiedene Klassen von Und-Anfragen bzw. Verteilungen.