713 search results - page 41 / 143 » Reasoning with Projected Contours |
IJCAI
2003
13 years 11 months ago
2003
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
EPART
2011
12 years 9 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
Publication
In this article the author benchmarks Neuroph, JOONE and Encog. These are the three major open source frameworks for Java. Encog also has a .Net version. I will give all three fram...
ENTCS
2002
13 years 9 months ago
2002
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...