2302 search results - page 111 / 461 » Basic Description Logics |
125
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...
166
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
138
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
133
click to vote
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
Invariant feature representations for 3D objects are one of the basic needs in 3D object retrieval and classification. One tool to obtain rotation invariance are Spherical Harmonic...
155
Voted
ASIAN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...