Sciweavers

902 search results - page 19 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
AIPS
1994
15 years 1 months ago
Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
George Ferguson, James F. Allen
106
Voted
CIA
2004
Springer
15 years 5 months ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos
94
Voted
ATAL
2003
Springer
15 years 5 months ago
Reasoning about the dynamics of social behaviour
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
Maria Fasli
ECSQARU
2005
Springer
15 years 6 months ago
Type Uncertainty in Ontologically-Grounded Qualitative Probabilistic Matching
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
David Poole, Clinton Smyth
PODC
1994
ACM
15 years 4 months ago
Using Belief to Reason about Cache Coherence
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
Lily B. Mummert, Jeannette M. Wing, Mahadev Satyan...