Sciweavers

3573 search results - page 310 / 715
» Reasoning about Codata
Sort
View
AAAI
1998
15 years 6 months ago
A* with Bounded Costs
A key assumption of all problem-solving approaches based on utility theory, including heuristic search, is that we can assign a utility or cost to each state. This in turn require...
Brian Logan, Natasha Alechina
DAGSTUHL
1998
15 years 6 months ago
A Practical Approach to Hypothetical Database Queries
Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...
Henning Christiansen, Troels Andreasen
FTCS
1998
79views more  FTCS 1998»
15 years 6 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
ESWS
2008
Springer
15 years 6 months ago
Semantic Web Technology for Agent Communication Protocols
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
Idoia Berges, Jesús Bermúdez, Alfred...
AAMAS
2008
Springer
15 years 5 months ago
Agents that argue and explain classifications
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
Leila Amgoud, Mathieu Serrurier