2766 search results - page 161 / 554 » Hybridizing a Logical Framework |
128
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
A metascalable (or “design once, scale on new architectures”) parallel computing framework has been developed for large spatiotemporal-scale atomistic simulations of materials...
160
click to vote
ACIVS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a monocular vision framework enabling feature-oriented appearance-based navigation in large outdoor environments containing other moving objects. The framework ...
158
click to vote
EPIA
2009
Springer
15 years 11 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
129
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
149
click to vote
AIIA
1997
Springer
15 years 8 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...