3856 search results - page 16 / 772 » Models for Automated Earthmoving |
CSL
2007
Springer
15 years 9 months ago
2007
Springer
195
click to vote
LPNMR
2011
Springer
14 years 6 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
CL
2000
Springer
15 years 7 months ago
2000
Springer
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE