3856 search results - page 289 / 772 » Models for Automated Earthmoving |
144
click to vote
ICCBR
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
166
click to vote
PPSWR
2005
Springer
16 years 6 days ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
181
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
152
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
179
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...