3856 search results - page 16 / 772 » Models for Automated Earthmoving |
CSL
2007
Springer
14 years 4 months ago
2007
Springer
LPNMR
2011
Springer
13 years 21 days 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
14 years 2 months ago
2001
Springer
CL
2000
Springer
14 years 2 months ago
2000
Springer
LICS
1996
IEEE
14 years 2 months ago
1996
IEEE