Suche

Logic and Verification (BSc)

Montags und Dienstags, 10:00 Uhr (ausgenommen Feiertage und Übungstermine) Downloads Folien (3.3 M) Slides (Chapters 1-3, v1.0) Übung 1 (159 K)

Multi-Agent Programming

LaTeX designed for the use of the LaTeX Beamer Class . Overview: Chapter 1: Jason Chapter 2: 3APL Chapter 3: Claim Sympa Chapter 4: Impact Chapter 5: Jade Chapter 6: Jadex Chapter 7: Jack Chapter 8: Defacto

Complexity Theory (MSc)

one of the strongest tools for showing that a problem is undecidable: the theorem of Rice. Chapter 3: Space versus Time: Basics Chapter 4: Structure of EXPSPACE Course description Chapter 1: The Chomsky […] homomorphic images of the Dyck language, (2) re languages are homomorphic images of cs-languages, (3) equivalence of morphisms on a language L can be reduced to a finite test set (Ehrenfeucht hypothesis) […] by Emil Post in the 40'ies. It can be used to show that many problems are undecidable. In Section 2.3 we consider a problem that looks similar at first sight: sets of word equations over a set of constants

HTN Planning in Answer Set Programming

Encoding, SHOP Domain Description Problem Instances: Smodels Problems (p1, p2, p3, p4, p5, p6, p7, p8) DLV Problems (p1, p2, p3, p4, p5, p6, p7, p8) SHOP Problems Click to see a demo of how the system works […] Encoding, SHOP Domain Description Problem Instances: Smodels Problems (p1, p2, p3, p4, p5-1, p5-2, p6) DLV Problems (p1, p2, p3, p4, p5-1, p5-2, p6) SHOP Problems The Zeno-Travel Domain It was one of the domains […] Domain Description Problem Instances: Smodels Problems (p1, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15) DLV Problems (p1, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15) SHOP

Team

Team Leader Dr. Leon Kellerhals Office: D3-112, Julius-Albert-Str. 4 Phone: +49 5323 72-7105 E-Mail: leon.kellerhals @ tu-clausthal . de Prof. Dr. Jürgen Dix, Emeritus Office: D5 Phone: +49 5323 72-7181

Dr. Leon Kellerhals

problems. For my publication record, see my private website or dblp or google scholar . Contact Office: D3-112, Julius-Albert-Str. 4 Phone: +49-5323-72 7105 E-Mail: leon.kellerhals @ tu-clausthal . de

Informatik III (BSc)

Entscheidbarkeit, Komplexitaetstheorie (die Struktur von PSPACE, insbesondere P/NP). Die Vorlesung ist 3V + 1Ü: die Übungen sind sehr wichtig. Wichtig Eine Anmeldung im StudIP-System ist erforderlich. Alle

Informatik III (BSc)

Entscheidbarkeit, Komplexitaetstheorie (die Struktur von PSPACE, insbesondere P/NP). Die Vorlesung ist 3V + 1Ü: die Übungen sind sehr wichtig. Wichtig Eine Anmeldung im StudIP-System ist erforderlich. Alle

Game Theory (MSc)

information games and are dealt with in Chapter 1. Repeated games are considered in Chapter 2. Chapter 3 considers the case where agents form teams and work together. How should the payoff of such a coalition […] ) result from Axelrod is the tit-for-tat strategy for the iterated prisoners dilemma game. Chapter 3: Coalitional Game Theory Up to now we have considered agents that act alone and are selfish. Sometimes […] from Chapter 1 and do model checking.) Note: In the lecture, we will treat chapter 4 before chapter 3!

Research

behaviours can be enforced (or implemented) if agents follow their subjective preferences. [23, 15]. 3. The Multiagent Contest Multiagent Programming Contest: We started the Agent Contest in 2005 based on […] hope it will shed light on the applicability of certain frameworks to particular domains. See [6, 4, 3]. While this is on the one hand an interesting testbed, in particular for Bachelor students, to experiment […] of Commonsense Reasoning, Technical Report Series, pages 213–219, Corfu, Greece, 2005. TU Dresden. [3] T. Behrens, M. Dastani, J. Dix, J. Hübner, M. Köster, P. Novák, and F. Schlesinger. The multi-agent

Forschen nach dem Konzept der Circular Economy

Wir setzen auf Technologien und Methoden zum nachhaltigen Management der Ressourcen Energie – Material – Information.

Alles über unsere Uni im Grünen

und warum du dort studieren solltest - Erfahre mehr in unserem Imagefilm!

Die Umwelt im Fokus

Studieren und Forschen für eine nachhaltige Gesellschaft

Bibliothekskatalog

Weitere Informationsquellen

Info

Portale

Wetter & Webcam

Folgen Sie uns auf

Facebook

Instagram

YouTube

LinkedIn

Schnellzugriff

Schnellzugriff

Schnellzugriff

Schnellzugriff

Forschen nach dem Konzept der Circular Economy

Wir setzen auf Technologien und Methoden zum nachhaltigen Management der Ressourcen Energie – Material – Information.

Alles über unsere Uni im Grünen

und warum du dort studieren solltest - Erfahre mehr in unserem Imagefilm!

Die Umwelt im Fokus

Studieren und Forschen für eine nachhaltige Gesellschaft

Bibliothekskatalog

Weitere Informationsquellen

Info

Portale

Wetter & Webcam

Folgen Sie uns auf

Facebook

Instagram

YouTube

LinkedIn