Sciweavers

2490 search results - page 40 / 498
» The Generalized Theory of Model Preference
Sort
View
PERCOM
2004
ACM
16 years 3 months ago
Towards a Theory of Context Spaces
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...
Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky
JELIA
2004
Springer
15 years 9 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
CORR
2006
Springer
131views Education» more  CORR 2006»
15 years 3 months ago
Intensional Models for the Theory of Types
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
Reinhard Muskens
AAAI
1998
15 years 5 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
ATAL
2003
Springer
15 years 9 months ago
Towards interest-based negotiation
Negotiation is essential in settings where agents have conflicting interests and a desire to cooperate. In many approaches, agents are assumed to have pre-set, fixed preferences...
Iyad Rahwan, Liz Sonenberg, Frank Dignum