1036 search results - page 50 / 208 » Incompleteness of Behavioral Logics |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
QI
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we explore an extention of the Type Indeterminacy model of decision-making to strategic decision-making. A 2X2 game is investigated. We first show that in a one-sho...
SARA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
WECWIS
2002
IEEE
14 years 1 months ago
2002
IEEE
“Garbage in. garbage out” is a well-known phrase in computer analysis, and one that comes to mind when mining Web data to draw conclusions about Web users. The challenge is th...
IJCAI
2003
13 years 10 months ago
2003
Intelligent agents often need to assess user utility functions in order to make decisions on their behalf, or predict their behavior. When uncertainty exists over the precise natu...