1966 search results - page 189 / 394 » Description Logics and Planning |
185
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
167
click to vote
SYNASC
2006
IEEE
16 years 15 days ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
155
click to vote
TC
1998
15 years 6 months ago
1998
—Many modern Field Programmable Logic Arrays (FPGAs) use lookup table (LUT) logic blocks which can be programmed to realize any function of a fixed number of inputs. It is possib...
245
click to vote
PDIS
1996
IEEE
15 years 10 months ago
1996
IEEE
Users today are struggling to integrate a broad range of information sources providing di erent levels of query capabilities. Currently, data sources with di erent and limitedcapa...
163
click to vote
JAIR
1998
15 years 6 months ago
1998
As planning is applied to larger and richer domains the e ort involved in constructing domain descriptions increases and becomes a signi cant burden on the human application desig...