Welcome
News
Research
Teaching
Theses/Jobs
Projects
Publications
Staff
Contact
Login
Events
«
December 2008
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
31
Upcoming events
no upcoming events available
Navigation
links
category browser
Latest Content
Vorlesung - Einführung in die Informatik WS 2008/2009
(17-10-2008)
Lecture - Introduction to Artificial Intelligence
(30-09-2008)
Hiwi Position Offer
(02-09-2008)
Seminar - General Information & Guidelines
(28-08-2008)
Detection and Recognition of Human Faces using Random Forests for a Mobile Robot
(13-08-2008)
Repairing Decision-theoretic Policies Using Goal-oriented Planning
(13-08-2008)
New Publications
Landmark-based Representations for Navigating Holonomic Soccer Robots
A Robust Speech Recognition System for Service-Robotics Applications
First-Order Strong Progression for Local-Effect Basic Action Theories
A Logic for Non-Terminating Golog Programs
A Fuzzy Logic Semantics for Qualitative Fluents in the Situation Calculus
Syndicate
Home
»
Biblio
Towards an Axiom System for Default Logic
Publication Type
Conference Paper
Year of Publication
2006
Authors
Lakemeyer, Gerhard
;
Levesque,
Conference Name
Proc. AAAI-06
Publisher
AAAI Press
Notes
to appear
Attachment
Size
Lakemeyer2006Towards.pdf
110.17 KB
Submitted by Anonymous on 26. November 2007 - 18:55.
