3856 search results - page 189 / 772 » Models for Automated Earthmoving |
154
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
188
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
173
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
204
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
202
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...