Sciweavers

2490 search results - page 64 / 498
» Complexity of Contextual Reasoning
Sort
View
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 8 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
AAAI
2007
15 years 6 months ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
140
Voted
FLAIRS
2007
15 years 6 months ago
Interpretive Reasoning with Hypothetical Cases
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparen...
Kevin D. Ashley
WSC
2007
15 years 6 months ago
Expecting the unexpected: representing, reasoning about, and assessing construction project contingencies
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
G. Ryan Anderson, Nilufer Onder, Amlan Mukherjee
115
Voted
AAAI
2004
15 years 5 months ago
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
Francesca Rossi, Kristen Brent Venable, Toby Walsh