Sciweavers

973 search results - page 27 / 195
» Arguing Using Opponent Models
Sort
View
FLAIRS
2008
13 years 10 months ago
Reformulating Constraint Models for Classical Planning
Constraint satisfaction techniques are commonly used for solving scheduling problems, still they are rare in AI planning. Although there are several attempts to apply constraint s...
Roman Barták, Daniel Toropila
TARK
1998
Springer
13 years 11 months ago
Hypothetical Knowledge and Counterfactual Reasoning
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Joseph Y. Halpern
IJCAI
1989
13 years 8 months ago
Negative Reasoning Using Inheritance
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
Lin Padgham
EMSOFT
2005
Springer
14 years 1 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
ICC
2011
IEEE
162views Communications» more  ICC 2011»
12 years 7 months ago
Wi-Fi-Based Indoor Positioning Using Human-Centric Collaborative Feedback
—In recent years, “folksonomy”-like systems such as Wikipedia and Delicious Social Bookmarking have achieved huge successes. User collaboration is the defining characteristi...
Yan Luo, Yuanzhu Chen, Orland Hoeber