4224 search results - page 42 / 845 » Reasoning about Choice |
103
Voted
WSC
2007
15 years 1 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
79
Voted
ATAL
2008
Springer
15 years 28 days ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
100
Voted
BPM
2008
Springer
15 years 28 days ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
80
Voted
IJCAI
2001
15 years 9 days ago
2001
Understanding the process of categorization is a primary research goal in artificial intelligence. The conceptual space framework provides a flexible approach to modeling context-...
88
Voted
NIPS
2003
15 years 9 days ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...