858 search results - page 86 / 172 » Planning and defeasible reasoning |
103
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
WSC
1998
15 years 1 months ago
1998
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...
64
Voted
AIPS
1994
15 years 1 months ago
1994
The Scenario-based Engineering Process (SEP)is a novel approachto developingcomplexsystems.SEPbuilds newapplication systemsthrougha selectionprocessthat groupsprimitive components...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
JAIR
2006
14 years 12 months ago
2006
In a field of research about general reasoning mechanisms, it is essential to have appropriate benchmarks. Ideally, the benchmarks should reflect possible applications of the deve...