1670 search results - page 77 / 334 » On Skolemization in constructive theories |
126
click to vote
ISSTA
2006
ACM
16 years 9 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
179
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
159
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
139
click to vote
FLAIRS
2008
15 years 8 months ago
2008
We present a Bayesian blackboard system for temporal perception, applied to a minidomain task in musical scene analysis. It is similar to the classic Copycat architecture (Hofstad...
189
click to vote
AGI
2011
14 years 10 months ago
2011
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...