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)
• ...

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]

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]
• ...

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), 10. Oktober 2012

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