3856 search results - page 16 / 772 » Models for Automated Earthmoving |
CSL
2007
Springer
15 years 5 months ago
2007
Springer
153
click to vote
LPNMR
2011
Springer
14 years 2 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 4 months ago
2001
Springer
CL
2000
Springer
15 years 4 months ago
2000
Springer
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE