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.

 

 2Neuerscheinung des Artikels "Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals" von Prof. Dr. Gabriele Kern-Isberner und Christian Eichhorn.

  1. Christian Eichhorn and Gabriele Kern-Isberner.
    Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals.
    KI - Künstliche Intelligenz 29(3):279-289, 2015.
    URL, DOI BibTeX

    @article{,
    	year = 2015,
    	issn = "0933-1875",
    	journal = {KI - K{\"u}nstliche Intelligenz},
    	volume = 29,
    	number = 3,
    	doi = "10.1007/s13218-015-0376-x",
    	title = "Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals",
    	url = "http://dx.doi.org/10.1007/s13218-015-0376-x",
    	publisher = "Springer Berlin Heidelberg",
    	keywords = "Conditionals; Nonmonotonic reasoning; Induction; System P; Networks; Ordinal conditional function; Conditional structures",
    	author = "Eichhorn, Christian and Kern-Isberner, Gabriele",
    	pages = "279-289",
    	language = "English"
    }