1614 search results - page 225 / 323 » Planning as Temporal Reasoning |
163
click to vote
EDBT
2012
ACM
13 years 6 months ago
2012
ACM
Query optimization in RDF Stores is a challenging problem as SPARQL queries typically contain many more joins than equivalent relational plans, and hence lead to a large join orde...
141
click to vote
NN
2007
Springer
15 years 3 months ago
2007
Springer
Simultaneous recordings from populations of neurons in the inferior temporal visual cortex show that most of the information about which stimulus was shown is available in the num...
136
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
171
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...
134
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...