2308 search results - page 188 / 462 » Representing Symbolic Reasoning |
287
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
The development of sensors capable of obtaining 3D scans of crime scenes is revolutionizing the ways in which crime scenes can be analyzed and at the same time is driving the need ...
195
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
168
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
170
click to vote
CSL
2005
Springer
16 years 1 days ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
192
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...