2381 search results - page 186 / 477 » On Ordering Descriptions in a Description Logic |
119
click to vote
JLP
2000
15 years 1 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
121
click to vote
SYNTHESE
2011
14 years 9 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
114
click to vote
SMI
2003
IEEE
15 years 7 months ago
2003
IEEE
A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for t...
126
click to vote
CP
1997
Springer
15 years 6 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...