Past Meetup

Berlin Semantic Web Meetup - Regeltechnologien für das Web

This Meetup is past

32 people went

Details

Anmeldung bitte per Meetup RSVP.

Am 4. August findet im Rahmen der RuleML 2015 (http://2015.ruleml.org) ein Berlin Semantic Web Meetup zum Thema "Technologien, Sprachen und Anwendungen von Regeltechnologien für das Web" statt.

Programm: (Vorträge in Englisch)

14:30-15:45 Uhr Poster - Kurzvorträge (im ZIB @ FU Berlin)

16-17:00 Uhr Vortrag von Prof. Michael Genesereth (Logic Group at Stanford and research director of CodeX(the Stanford Center for Computers and Law) über : The Herbrand Manifesto - Thinking Inside the Box (im Institut für Informatik @ FU Berlin)

17:00 - 19:30 Uhr: Posterausstellung und Get-together mit Getränken und Snacks (im Institut für Informatik @ FU Berlin)

In der Posteraustellung werden im informellen Rahmen interessante Arbeiten aus dem RuleML Gebiet vorgestellt.

Ort: Die Kurzvorträge von 14:30-15:45 finden im ZIB-Hörsaal des Konrad-Zuse-Zentrum für Informationstechnik an der Freien Unversität statt. Adresse: Takustr. 7. 14195 Berlin (http://www.zib.de/contact).
Die Keynote von Prof. Gensereth und die Posteraustellung im großen Hörsaal des Inforrmatikgebäudes in der Takusstr. 9, 14195 Berlin (http://www.mi.fu-berlin.de/en/fb/contact/location.html).

Die Teilnahme am Meetup / Poster Session (http://www.meetup.com/The-Berlin-Semantic-Web-Meetup-Group/events/220797669/) am 4.8. ab 14:30 Uhr ist für Berlin Semantic Web Meetup Mitglieder kostenfrei. Berlin Semantic Web Meetup Mitglieder können auch am RuleML Tutorial Tag am 2.8. (http://www.meetup.com/The-Berlin-Semantic-Web-Meetup-Group/events/223959875/) kostenfrei teilnehmen. Anmeldung für beide Berlin Semantic Web Meetups per Meetup RSVP.

Für die Teilnahme am sonstigen Program der RuleML 2015 vom 3.8. bis 5.8. ist eine kostenpflichtige Anmeldung über die RuleML 2015 Registrierung (http://2015.ruleml.org) notwendig.

Wir freuen uns auf Ihr Kommen und auf die interessante Gespräche zum Fachthema, Ihr,

Adrian Paschke

Zum Vortrag: Prof. Michael Genesereth on : The Herbrand Manifesto - Thinking Inside the Box

The traditional semantics for First Order Logic (sometimes called Tarskian semantics) is based on the notion of interpretations of constants. Herbrand semantics is an alternative semantics based directly on truth assignments for ground sentences rather than interpretations of constants. Herbrand semantics is simpler and more intuitive than Tarskian semantics; and, consequently, it is easier to teach and learn. Moreover, it is more expressive. For example, while it is not possible to finitely axiomatize integer arithmetic with Tarskian semantics, this can be done easily with Herbrand Semantics. The downside is a loss of some common logical properties, such as compactness and completeness. However, there is no loss of inferential power. Anything that can be proved according to Tarskian semantics can also be proved according to Herbrand semantics. In this presentation, we define Herbrand semantics; we look at the implications for research on logic and rules systems and automated reasoning; and we assess teh potential for popularizing logic.

Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Electronic Commerce, and Computational Law. He is one of the founders of Teknowledge, CommerceNet, and Mergent Systems. Genesereth is the current director of the Logic Group at Stanford and research director of CodeX(the Stanford Center for Computers and Law)