Sciweavers

214 search results - page 4 / 43
» Reasoning about Bargaining Situations
Sort
View
AIIA
1995
Springer
15 years 1 months ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl
AAAI
1994
14 years 11 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
ATAL
2004
Springer
15 years 3 months ago
Reasoning about Rationality and Beliefs
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
Ya'akov Gal, Avi Pfeffer
FUIN
2008
147views more  FUIN 2008»
14 years 9 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
AIPS
2003
14 years 11 months ago
Reasoning about Autonomous Processes in an Estimated-Regression Planner
We examine the issues that arise in extending an estimatedregression (ER) planner to reason about autonomous processes that run and have continuous and discrete effects without th...
Drew V. McDermott