307 search results - page 11 / 62 » On Hierarchical Reasoning in Combinations of Theories |
129
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
126
Voted
KR
1998
Springer
15 years 6 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
100
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
110
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
SARA
2000
Springer
15 years 5 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...