4623 search results - page 711 / 925 » Knowledge Representation on the Web |
84
Voted
UAI
1990
15 years 2 days ago
1990
We examine the notion of "unrelatedness" in a probabilistic framework. Three formulations are presented. In the first formulation, two variables a and b are totally inde...
ATAL
2010
Springer
15 years 16 hour ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
80
Voted
ATAL
2010
Springer
15 years 15 hour ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
90
Voted
AI
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, a fairly general framework for reasoning from inconsistent propositional bases is defined. Variable forgetting is used as a basic operation for weakening pieces of ...
CAD
2006
Springer
14 years 11 months ago
2006
Springer
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...