Welcome
News
Research
Teaching
Theses/Jobs
Projects
Publications
Staff
Contact
Login
Events
«
November 2009
Mon
Tue
Wed
Thu
Fri
Sat
Sun
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Upcoming events
no upcoming events available
Navigation
links
category browser
Latest Content
Reinforcement Learning for Golog Programs
(28-09-2009)
Einführung in die Informatik
(12-09-2009)
Lecture - Introduction to Artificial Intelligence
(11-09-2009)
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao
(17-07-2009)
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
(10-07-2009)
A Semantical Account of Progression in the Presence of Defaults
(10-07-2009)
New Publications
RoboCup@Home: Results in Benchmarking Domestic Service Robots
Robust Collision Avoidance in Unknown Domestic Environments
Tractable First-Order Golog with Disjunctive Knowledge Bases
A Semantical Account of Progression in the Presence of Defaults
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Syndicate
Home
The Logic of Knowledge Bases SS 2009 - Registration for Midterm [closed]
The registration for the midterm exam on June 8th is now closed.
[Registered Students]
Attachment
Size
LKB_2009_Midterm_registered.txt
173 bytes
Submitted by
Jens Claßen
on 28. May 2009 - 12:43.
