134 search results - page 6 / 27 » Computationally Grounded Theories of Agency |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
ICRA
1998
IEEE
13 years 11 months ago
1998
IEEE
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
LPNMR
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
DLOG
2007
13 years 9 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Inclusive education is the practice of making sure that all students of all abilities have positive learning experiences. The study presented in this paper explores the current st...