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
Embedding Fuzzy Controllers into Golog
RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots
RoboCup@Home: Results in Benchmarking Domestic Service Robots
Robust Collision Avoidance in Unknown Domestic Environments
Tractable First-Order Golog with Disjunctive Knowledge Bases
Syndicate
Home
Publications
List
Filter
Export (2) results:[
Tagged
][
XML
][
BibTex
]
Sort by:[
Year
][
Title
][
Type
][
Author
]
Filters:
author
is
Liu
[Clear All Filters]
2009
Yongmei Liu
;
Gerhard Lakemeyer
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), (2009)
Export:
Tagged
XML
BibTex
Download:
LiuLak_LocalEffects_ijcai09.pdf
2004
Liu, Y.
;
Lakemeyer, G.
;
Levesque,
A Logic of Limited Belief for Reasoning with Disjunctive Information
9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004), (2004)
Notes: to appear
Export:
Tagged
XML
BibTex
Download:
LiuKR04LimitedBelief.pdf
