3573 search results - page 34 / 715 » Reasoning about Codata |
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 27 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 8 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...
96
Voted
AIPS
1994
15 years 7 days ago
1994
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...