581 search results - page 95 / 117 » Abstract Semantics by Observable Contexts |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
EDUTAINMENT
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Social navigation in a community of practice (CoP) is an approach of locating information through increased social awareness. Designing support for social navigation requ...
EVOW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we discuss Evolution Strategies within the context of interactive optimization. Different modes of interaction will be classified and compared. A focus will...
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
AAAI
2007
15 years 1 days ago
2007
Symmetry is a widespread phenomenon that can offer opportunities for powerful exploitation in areas as diverse as molecular chemistry, pure mathematics, circuit design, biology an...