ls1-www.cs.uni-dortmund.de

fg-loginf.gi.de

Links - Fachgruppe Logik in der Informatik

http://fg-loginf.gi.de/links.html

Skip to the navigation. Skip to the content. Hauptseite der Gesellschaft für Informatik. Fachgruppe Logik in der Informatik. Einige Links zur Logik in der Informatik:. Logical Methods in Computer Science. Die IEEE Konferenz zu. Logic in Computer Science. Eine Liste mit weiteren Konferenzen. Zum Thema Logik in der Informatik. European Association for Computer Science Logic. Die ua. die Konferenz. Association of Symbolic Logic. Die die ASL Meetings organisiert und Journale wie z.B. das. Http:/ www.info...

zeus.cs.uni-dortmund.de

TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

http://zeus.cs.uni-dortmund.de/cms/mitarbeiter/groups

Kontakt - Lehrstuhl Informatik 1 - Logik in der Informatik. Diese Webseiten werden nicht mehr gepflegt! Neue Webseiten finden sie hier. Sie sind hier: Technische Universität Dortmund. Lehrstuhl Informatik 1 - Logik in der Informatik. Joomla SEF URLs by Artio. 2008 by TU Dortmund - Lehrstuhl Informatik 1.

zeus.cs.uni-dortmund.de

TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

http://zeus.cs.uni-dortmund.de/cms/forschung/da-bimasc.html

AG Hildebrand - Lehrstuhl Informatik 1 - Logik in der Informatik. Diese Webseiten werden nicht mehr gepflegt! Neue Webseiten finden sie hier. Sie sind hier: Technische Universität Dortmund. Lehrstuhl Informatik 1 - Logik in der Informatik. Data analysis in biology and material sciences. The work related to DA-BiMaSc covers two different fields of application:. Biology and material sciences. Both fields share the same nature of the. Applied methods come from statistics, artificial intelligence, and. Well ...

zeus.cs.uni-dortmund.de

TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

http://zeus.cs.uni-dortmund.de/cms/index.php?option=com_content&view=category&layout=blog&id=126&Itemid=186

Information Engineering - Lehrstuhl Informatik 1 - Logik in der Informatik. Diese Webseiten werden nicht mehr gepflegt! Neue Webseiten finden sie hier. Sie sind hier: Technische Universität Dortmund. Lehrstuhl Informatik 1 - Logik in der Informatik. Reasoning on Secrecy Constraints under Uncertainty to Classify Possible Actions. Joachim Biskup, Gabriele Kern-Isberner, Patrick Krümpelmann and Cornelia Tadros. LNCS, to appear, 2014, Springer. Symposium on Foundations of Information and Knowledge Systems.

zeus.cs.uni-dortmund.de

TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

http://zeus.cs.uni-dortmund.de/cms/review/blog

Überblick - Lehrstuhl Informatik 1 - Logik in der Informatik. Diese Webseiten werden nicht mehr gepflegt! Neue Webseiten finden sie hier. Sie sind hier: Technische Universität Dortmund. Lehrstuhl Informatik 1 - Logik in der Informatik. Logic in Databases, Automata and Complexity (LogiDAC). Prof Dr. Thomas Schwentick. The group works on different areas of Theoretical Computer Science in which logic plays a prominent role. Functional-Logic Development and Implementation Techniques (FLDIT). Seite 1 von 2.

hybrid-reasoning.org

Hybrid Reasoning for Intelligent Systems - Members

https://www.hybrid-reasoning.org/en/members

Hybrid Reasoning for Intelligent Systems. DFG Research Unit 1513. Want to contact us? To get in touch please contact the research unit's speaker. Prof Gerhard Lakemeyer, Ph.D. 52056 Aachen, Germany. Prof Dr.-Ing. Franz Baader. Prof Dr. Gerhard Brewka. Prof Dr. Wolfram Burgard. Research Lab Autonomous Intelligent Systems. Prof Dr. Gabriele Kern-Isberner. Lehrstuhl für Logik in der Informatik. Prof Gerhard Lakemeyer, Ph.D. Prof Dr. Bernhard Nebel. Foundations of Artificial Intelligence.

tks.informatik.uni-frankfurt.de

AG TKS: Links

http://www.tks.informatik.uni-frankfurt.de/links

Institut für Informatik. Goethe-Universität Frankfurt am Main. Algorithmic Model Theory Meeting (AlMoTh 2010). Frankfurt am Main, 25.-26. Februar 2010. IEEE Symposium on Logic in Computer Science (LICS). International Conference on Database Theory (ICDT). 5th Federated Logic Conference (FLoC 2010). 16 Jahrestagung der GI-Fachgruppe "Logik in der Informatik". Frankfurt am Main, 6.-7. November 2009. 26th International Symposium on Theoretical Aspects of Computer Science (STACS'09). Logik in der Informatik.

zeus.cs.uni-dortmund.de

TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

http://zeus.cs.uni-dortmund.de/cms/other-stuff/adresse-und-anfahrt

Kontakt - Lehrstuhl Informatik 1 - Logik in der Informatik. Diese Webseiten werden nicht mehr gepflegt! Neue Webseiten finden sie hier. Sie sind hier: Technische Universität Dortmund. Lehrstuhl Informatik 1 - Logik in der Informatik. E-Mail: Diese E-Mail-Adresse ist gegen Spambots geschützt! Sie müssen JavaScript aktivieren, damit Sie sie sehen können. Lehrstuhl Informatik 1 - Logik in der Informatik. Lehrstuhl Informatik 1 - Logik in der Informatik. Und eine Liste von Hotels. Joomla SEF URLs by Artio.

zeus.cs.uni-dortmund.de

TU Dortmund - Lehrstuhl Informatik 1 - Logik in der Informatik

http://zeus.cs.uni-dortmund.de/cms/wintersemester-20152016/blog

Wintersemester 2015/2016 - Lehrstuhl Informatik 1 - Logik in der Informatik. Diese Webseiten werden nicht mehr gepflegt! Neue Webseiten finden sie hier. Sie sind hier: Technische Universität Dortmund. Lehrstuhl Informatik 1 - Logik in der Informatik. Prof Dr. Peter Padawitz. Dozent: Prof. Dr. Gabriele Kern-Isberner. Darstellung, Verarbeitung und Erwerb von Wissen. Dozent: Prof. Dr. Gabriele Kern-Isberner. Prof Dr. Peter Padawitz. Konzepte und Methoden der Theoretischen Informatik. Joomla SEF URLs by Artio.

multiagentcontest.org

MASSim in Teaching

https://multiagentcontest.org/massim-in-teaching

Our MASSim platform has been used extensively in teaching. Below you will find an overview. Course Multi-Agent Systems I at Department of Informatics, Clausthal University of Technology. Held by Tristan Behrens, Michael Köster, Federico Schlesinger, and Jürgen Dix. And MASSim. Agents-on-mars scenario. And MASSim. Agents-on-mars scenario. And MASSim. Cows-and-cowboys scenario. And MASSim. With toy-examples. And the goldminers scenario. Held by Patrick Krümpelmann. Held by Axel Hessler. Held by Axel Hessler.