Search this site:
Welcome
News
Research
Teaching
Theses/Jobs
Projects
Publications
Staff
Contact
Login
Events
«
May 2013
»
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
more
Navigation
Events
Publications
Authors
Keywords
Web Links
Latest Content
Lecture - Introduction to Knowledge Representation SS 2013
(01-02-2013)
Robotino Hackathon 2013
(25-01-2013)
Seminar Plan and Activity Recognition
(11-01-2013)
Proseminar Artificial Intelligence SS 2013
(07-01-2013)
Lecture - Introduction to Artificial Intelligence
(09-10-2012)
Einführung in die Informatik WS 2012/2013
(01-10-2012)
Recent Publications
Natural Language Interpretation for an Interactive Service Robot in Domestic Domains
PLATAS – Integrating Planning and the Action Language Golog
Flexible Command Interpretation on an Interactive Domestic Service Robot
A Generic Robot Database and its Application in Fault Analysis and Performance Evaluation
Representing Value Functions with Recurrent Binary Decision Diagrams
More...
Syndicate
Publications
List
Filter
Export 1 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
Author
is
Halpern, Joseph Y.
[Clear All Filters]
1995
Halpern, J. Y.
, and
G. Lakemeyer
,
"
Levesque's axiomatization of only knowing is incomplete
",
Artificial Intelligence
, vol. 74, no. 2, pp. 381--387, 1995.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
halpern1995.pdf
(147.74 KB)
Home