Sciweavers

3856 search results - page 380 / 772
» Models for Automated Earthmoving
Sort
View
LPNMR
2007
Springer
16 years 29 days ago
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
Edgardo Ferretti, Marcelo Errecalde, Alejandro Jav...
LICS
2006
IEEE
16 years 25 days ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
162
Voted
TARK
2005
Springer
16 years 9 days ago
Interactive unawareness revisited
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
Joseph Y. Halpern, Leandro Chaves Rêgo
IDEAL
2004
Springer
16 years 5 days ago
Generating and Applying Rules for Interval Valued Fuzzy Observations
Abstract. One of the objectives of intelligent data engineering and automated learning is to develop algorithms that learn the environment, generate rules, and take possible course...
André de Korvin, Chenyi Hu, Ping Chen
KR
2004
Springer
16 years 5 days ago
Intransitivity and Vagueness
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
Joseph Y. Halpern