Sciweavers

902 search results - page 34 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 5 days ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
ISIPTA
2003
IEEE
117views Mathematics» more  ISIPTA 2003»
15 years 5 months ago
Dynamic Programming for Discrete-Time Systems with Uncertain Gain
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
Gert de Cooman, Matthias C. M. Troffaes
OTM
2005
Springer
15 years 6 months ago
Ontology Transformation and Reasoning for Model-Driven Architecture
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
Claus Pahl
145
Voted
CKEC
1991
15 years 4 months ago
Case-Based Reasoning and Model-Based Knowledge Acquisition
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
Dietmar Janetzko, Gerhard Strube
101
Voted
AAAI
2000
15 years 1 months ago
Disjunctive Temporal Reasoning in Partially Ordered Models of Time
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
Mathias Broxvall, Peter Jonsson