Home      Termine      Kontakt      Folien      Ablauf      Prüfung      Literatur      Software      Links

Logische Programmierung und deduktive Datenbanken

Informationsquellen im WWW (Web-Links)

Hier eine Liste von Links zu weiteren Informationen im Internet, die für die Vorlesung "Logische Programmierung und deduktive Datenbanken" im weiteren Sinne relevant sind. Die Liste ist ständig im Aufbau, teilweise ist die Auswahl noch eher zufällig. Wenn Sie weitere interessante Resourcen im Internet finden, sicken Sie mir bitte eine EMail. Wenn Sie einige der verlinkten Seiten für schlecht halten, informieren Sie mich bitte auch (manche habe ich nur kurz überflogen, zum Teil auch vor langer Zeit). Links zu Software finden Sie auf der Software-Seite, Lehrbücher und Übersichtsartikel auf der Literatur-Seite.

Andere Kurse, Tutorials (im Aufbau):

• Manthey: Deduktive Datenbanken (Bonn, 2005)
• Manthey: Deduktive Datenbanken I (Bonn, 1999)
• Manthey: Deduktive Datenbanken II (Bonn, 1999)
• Manthey/Behrend/Speidel: Projektgruppe "Intelligente Datenbanken" (WS 03/04)
• Bry/Schütz: Deduktive Datenbanksysteme (LMU München, 1997)
• Bry: Techniken der Logikprogrammierung (LMU München, 2004/05)
• Seipel: Deduktive Datenbanken (Würzburg)
• Ullmann (Stanford)
• Dietrich (ASU, 1996)
• Wahlster: Expertensysteme und deduktive Datenbanksysteme
• Objektorientierte und Deduktive Datenbanken (Gerd Stumme)
• Learn Prolog Now! (Patrick Blackburn, Johan Bos, Kristina Striegnitz)
• Implementation of Database Systems (Raghu Ramakrishnan)
• Database Course (Serge Abiteboul)
• Datalog Revival
• Datalog
• Datalog Evaluation
• Datalog with Negation
• Carlo Zaniolo: Advanced Data Bases and Knowledge Bases
• John R.~Fischer: Prolog Tutorial
• John R.~Fischer: Prolog Tutorial (Version ohne Frames)
• Folien zu einem Prolog-Kurs von Dennis Merritt
• Vorlesung "Advanced Logic Programming" von Dr. Günter Kniesel
• Matthew Huntbach: Undergraduate Course on Artificial Intelligence
• ...

Datalog-Einführungen aus Programm-Dokumentationen:

• Souffle-Einführung zu Datalog

Wikipedia-Artikel:

• Wikipedia: Prolog (deutsch)
       [http://de.wikipedia.org/wiki/Prolog_(Programmiersprache)]
• Wikipedia: Prolog (englisch)
       [http://en.wikipedia.org/wiki/Prolog]
• Wikipedia: Datalog (deutsch)
       [http://de.wikipedia.org/wiki/Datalog]
• Wikipedia: Datalog (englisch)
       [http://en.wikipedia.org/wiki/Datalog]
• Wikipedia: Logische Programmierung (deutsch, sehr kurz)
       [http://de.wikipedia.org/wiki/Logische_Programmierung]
• Wikipedia: Logic Programming (englisch)
       [http://en.wikipedia.org/wiki/Logic_programming]
• Wikipedia: Constraint Logic Programming (englisch)
       [http://en.wikipedia.org/wiki/Constraint_logic_programming]
• Wikipedia: Answer Set Programming (englisch)
       [http://en.wikipedia.org/wiki/Answer_set_programming]
• Wikipedia: Comparison of Prolog implementations (englisch)
       [http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations]
• Wikipedia: SWI-Prolog (englisch)
       [http://en.wikipedia.org/wiki/SWI-Prolog]
• Wikipedia: ECLiPSe (englisch)
       [http://en.wikipedia.org/wiki/ECLiPSe]
• Wikipedia: BProlog (englisch)
       [http://en.wikipedia.org/wiki/BProlog]
• Wikipedia: GNU Prolog (englisch)
       [http://en.wikipedia.org/wiki/GNU_Prolog]
• Wikipedia: Warren Abstract Machine (WAM) (englisch)
       [http://en.wikipedia.org/wiki/Warren_abstract_machine]
• Wikipedia: Visual Prolog (englisch)
       [http://en.wikipedia.org/wiki/Visual_Prolog]
• Wikipedia: Mercury (englisch)
       [http://en.wikipedia.org/wiki/Mercury_(programming_language)]
• Wikipedia: Logtalk (englisch)
       [http://en.wikipedia.org/wiki/Logtalk]

Prolog Standard:

• ISO Prolog Standard: The Standard Documents
       [http://www.deransart.fr/prolog/docs.html]
• 1993 Summary of the Proposed Prolog Standard (von Michael A. Covington)
       [http://fsl.cs.illinois.edu/images/9/9c/PrologStandard.pdf]
• Webseite von Ulrich Neumerkel (Editor) zum ISO Prolog Standard
       [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/]
• Diskussion über SWI Prolog 7 vs. ISO Prolog Standard (von Ulrich Neumerkel)
       [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/SWI7_and_ISO]
• Draft Technical Corrigendum 2: ISO/IEC 13211-1:1995/Cor.2:2012.
       [https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2]

Fachvorträge, Folien (im Aufbau):

• Bernhard Scholz - An Experience Report: Efficient Analysis using Souffle
       [https://www.youtube.com/watch?v=8WM0im4RV7M]

Konferenzen (im Aufbau):

• DECLARE 2017 in Würzburg (INAP, WLP/WFLP)
       [http://declare17.de/]
• INAP 2017 - 21st International Conference on Applications of Declarative Programming and Knowledge Management
       [http://www.declare17.de/inap.html]
• ICLP 2017 - 33rd International Conference on Logic Programming
       [http://iclp17.a4lp.org/]
• LPNMR 2017 - 14th International Conference on Logic Programming and Nonmonotonic Reasoning
       [http://lpnmr2017.aalto.fi/]
• PPDP 2017: 19th International Symposium on Principles and Practice of Declarative Programming
       [http://complogic.cs.mcgill.ca/ppdp2017/index.php]
• LOPSTR 2017: 27nth International Symposium on Logic-based Program Synthesis and Transformation
       [https://www.sci.unich.it/lopstr17/]
• DEXA 2017 - 28th International Conference on Database and Expert Systems Applications
       [http://www.dexa.org/dexa2017]
• RuleML+RR 2017: International Joint Conference on Rules and Reasoning
       [http://2017.ruleml-rr.org/]
• LPAR-21 (2017): 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
       [http://easychair.org/smart-program/LPAR-21/LPAR-index.html]
• PADL 2017: Practical Aspects of Declarative Languages
       [http://popl17.sigplan.org/track/PADL-2017]
• PPDP 2016: Principles and Practice of Declarative Programming
       [http://ppdp16.webs.upv.es/]
• KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning
       [http://kr2016.cs.uct.ac.za/]
• WLP/WFLP 2014 in Wittenberg (von uns organisiert)
       [http://dbs.informatik.uni-halle.de/wlp14/]
• Logic List News Archiv
       [https://www.illc.uva.nl/LogicList/]
• WikiCFP
       [http://www.wikicfp.com/cfp/]
• Event@CIG EMail List
       [https://www.in.tu-clausthal.de/de/abteilungen/cig/cigroot/activities/eventlist/]
• GLP (Gesellschaft für Logische Programmierung e.V.) Mail-Archiv
       [http://www.glp-ev.de/]
• Wikipedia: List of Computer Science Conferences: Data Management
       [https://en.wikipedia.org/wiki/List_of_computer_science_conferences#Data_management]

Weitere Links:

• Overview of Prolog Systems (von Ulrich Neumerkel)
       [http://www.complang.tuwien.ac.at/ulrich/prolog_misc/systems.html]
• Linksammlung zu Logikorientierten Programmiersprachen (von Ulrich Neumerkel)
       [http://www.complang.tuwien.ac.at/ulrich/prolog_misc/]
• Prolog++ Toolkit
       [http://www.lpa.co.uk/ppp_det.htm]
• Sammlung von Textschnipseln zu deduktiven Datenbanken von revolvy.com:
       [http://broom02.revolvy.com/main/index.php?s=Deductive%20database&item_type=topic]
• ...

EMail-Listen, Fachgruppen, Foren (zu Datenbanken allgemein):

• DBWORLD EMail List
• ACM SIGMOD (Special Interest Group on Mangament of Data)
  Join ACM SIGMOD or Find your Membership Number
• Database Junior Researcher Organization
• GI-Arbeitskreis "Grundlagen von Informationssystemen
• Fachgruppe "Datenbanksysteme" der GI

DB-Literatur, Literatur-Suche, Bibliographien:

• Database Systems and Logic Programming (Bibliography Server)
  • Database Research Groups
• VLDB.org (Konferenz ür Very Large Databases)
• ACM Digital Library (aus dem Uni-Netz kostenloser Download)
• Digital Library der IEEE Computer Society (aus dem Uni-Netz kostenloser Download)
• CoRR -- A Computing Research Repository (More Information)
• CiteSeer (Suchmaschine für wissenschaftliche Artikel)
• Netbib Search
• Bibliographies about Database Research (Karlsruhe)

Stefan Brass (brass@informatik.uni-halle.de), 31. März 2017

URL: http://www.informatik.uni-halle.de/~brass/lp17/links.html   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]