1941 search results - page 26 / 389 » Reasoning about Computations Using Two-Levels of Logic |
120
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
135
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
115
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...
92
Voted
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
136
Voted
ICEBE
2005
IEEE
15 years 7 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...