11436 search results - page 441 / 2288 » Modeling Real Reasoning |
152
click to vote
WSC
2004
15 years 6 months ago
2004
This paper presents the results of an effort to compare results of an experiment performed in both a virtual and a real environment. The research question addressed is if virtual ...
131
Voted
FORTE
1997
15 years 6 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
166
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
122
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
108
Voted
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...