112 search results - page 11 / 23 » On the Expressiveness of Levesque's Normal Form |
DLOG
2007
13 years 9 months ago
2007
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
DLOG
2009
13 years 5 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
ICIP
2010
IEEE
13 years 4 months ago
2010
IEEE
Statistical modeling of images plays a crucial role in modern image processing tasks like segmentation, object detection and restoration. Although Gaussian distributions are conve...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
With the recent technological feasibility of electronic commerce over the Internet, much attention has been given to the design of electronic markets for various types of electron...