Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

• WS 2023/24
  • VL Logik in der Informatik (Übung zur VL & Prolog-Übung)
  • Vorlesung Einführung in die Datenbanktheorie (VL & Übung zur VL) - zusamm mit Prof. Dr. Nicole Schweikardt
• SoSe 2023
  • Einführung in die formale Logik für IMP (VL & Übung zur VL)
  • SE Einführung in die axiomatische Mengenlehre (Seminar)
• WS 2022/23
  • VL Logik in der Informatik (Übung zur VL & Prolog-Übung)
• SoSe 2022
  • Vorlesung Einführung in die Datenbanktheorie (Vorlesung & Übung)
  • Seminar Aktuelle Themen der Theoretischen Informatik (Seminar)
• WS 2021/22
  • VL Logik in der Informatik (Übung zur VL & Prolog-Übung)
• SoSe 2021
  • SE Einführung in die axiomatische Mengenlehre (Seminar)
• WS 2020/21
  • VL Logik in der Informatik (Übung zur VL & Prolog-Übung)
• WS 2019/20
  • VL Logik in der Informatik (Prolog-Übung)
• SoSe 2019
  • VL Ausgewählte Kapitel der Logik: klassische Resultate (Übung)
• WS 2018/19
  • VL Einführung in die Datenbanktheorie (Übung)
  • VL Logik in der Informatik (Übung zur VL & Prolog-Übung)
• SoSe 2018
  • VL Logik und Komplexität (Übung)
• WS 2017/18
  • VL Logik in der Informatik (Übung zur VL & Prolog-Übung)
• SoSe 2017
  • SE Aktuelle Themen in Logik und Datenbanktheorie
• WS 2016/17
  • VL Einführung in die Datenbanktheorie (Übung)
  • VL Logik in der Informatik (Übung)
• SoSe 2016
  • VL Big Data Analytics in Theorie und Praxis (Übung)
• WS 2015/16
  • VL Einführung in die Datenbanktheorie (Übung)
  • VL Logik in der Informatik (Übung)
• WS 2014/15
  • VL Logik in der Informatik (Übung)
• WS 2012/13 (an der Johann Wolfgang Goethe-Universität Frankfurt)
  • VL Logik und Datenbanken (Übung)
• WS 2011/12 (an der Johann Wolfgang Goethe-Universität Frankfurt)
  • VL Diskrete Modellierung (Übung)
• WS 2010/11 (an der Johann Wolfgang Goethe-Universität Frankfurt)
  • VL Diskrete Modellierung (Übung)
• SoSe 2010 (an der Johann Wolfgang Goethe-Universität Frankfurt)
  • SE Seminar Logik in der Informatik
• WS 2009/10 (an der Johann Wolfgang Goethe-Universität Frankfurt)
  • VL Diskrete Modellierung (Übung)

• A. Frochaux and S. Kleest-Meißner,
  Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps.,
  in AMW 2023: Proceedings of the 15th Alberto Mendelzon Workshop on Foundations of Data Management, Santiago de Chile, Chile, May 22-26, 2023 (Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles, eds.), vol. 3409 of CEUR Workshop Proceedings, CEUR-WS.org, 2023.

  Link BibTex
  Link Full version

• A. Frochaux and L. Heimberg,
  An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree,
  CoRR, vol. abs/1810.12077, 2018.

  Link BibTex

• A. Frochaux,
  Static Analysis of Monadic Datalog on Finite Labeled Trees,
  Doctoral Dissertation, Humboldt-Universität zu Berlin, Germany, 2016.

  Link BibTex

• A. Frochaux and N. Schweikardt,
  Monadic Datalog Containment on Trees Using the Descendant-Axis,
  in AMW 2016: Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (Reinhard Pichler and Altigran Soares da Silva, eds.), vol. 1644 of CEUR Workshop Proceedings, CEUR-WS.org, 2016.

  Link BibTex
  Link Full version

• A. Frochaux, M. Grohe, and N. Schweikardt,
  Monadic datalog containment on trees,
  in AMW 2014: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014 (Georg Gottlob and Jorge Pérez, eds.), vol. 1189 of CEUR Workshop Proceedings, CEUR-WS.org, 2014.

  Link BibTex
  Link Full version

• A. Frochaux and N. Schweikardt,
  A note on monadic datalog on unranked trees,
  CoRR, vol. abs/1310.1316, 2013.

  Link BibTex

• A. Böhm,
  mDatalog - Monadisches Datalog über Bäumen,
  Diplomarbeit, DE, Department of Computer Science, Humboldt-University Berlin/Germany, June 2009.

  BibTex

• A. Böhm,
  Ausdrucksstärke von monadischem Datalog über Baumstrukturen,
  Studienarbeit, Humboldt-Universität zu Berlin, 2008.

  BibTex

• 19. September 2018
  6th conference on Highlights of Logic, Games and Automata
  An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree
  Technische Universität Berlin, Deutschland

• 16. September 2018
  Colloquium Logicum 2018
  An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree
  Universität Bayreuth, Deutschland

• 

  6. Juni 2017
  14. Humboldt Informatik GONG SHOW (HIGS'17)
  (Best Talk Award)
  Statische Analyse rekursiver Anfragen auf Baumstrukturen
  Humboldt-Universität zu Berlin, Deutschland

• 8. März 2017
  Algorithmic Model Theory Workshop
  Static Analysis of Monadic Datalog on Finite Labeled Trees
  Leibniz Universität Hannover, Deutschland

• 16. Dezember 2016
  Disputation
  Static Analysis of Monadic Datalog on Finite Labeled Trees
  Humboldt-Universität zu Berlin, Deutschland

• 10. Juni 2016
  10th Alberto Mendelzon Workshop
  Monadic Datalog Containment on Trees Using the Descendant-Axis
  Panama-City, Panama

• 5. Juni 2014
  8th Alberto Mendelzon Workshop
  Monadic datalog containment on trees
  Cartagena de Indias, Kolumbien

Die snippets sind eine kleine Skriptsammlung zur Veranschaulichung, welche unregelmäßig updates erfahren.

• Formelchecker Aussagenlogik (AL) (Letzte Änderung: 3. März 2021)
• Formelchecker Logik erster Stufe (FO) (Letzte Änderung: 3. März 2021, Status: Alpha )
• Datalog (Letzte Änderung: 3. März 2021, Status: Beta)
• Logik.Programmierung (Letzte Änderung: 9. Juli 2018, Status: Alpha)