1670 search results - page 93 / 334 » On Skolemization in constructive theories |
127
click to vote
ALT
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a n...
139
click to vote
CSCW
2006
ACM
16 years 10 days ago
2006
ACM
In this study, we draw on network centrality concepts and coordination theory to understand how project team members interact when working towards a common goal. A text-mining app...
143
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
199
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
181
click to vote
AAAI
1997
15 years 7 months ago
1997
Teamwork in complex, dynamic, multi-agent domains mandates highly flexible coordination and communication. Simply fitting individual agents with precomputed coordination plans w...