1223 search results - page 12 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
116
click to vote
IFSA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
101
click to vote
JVCA
2007
14 years 11 months ago
2007
Due to the success of motion capture technologies, large motion capture data becomes available. Although organizing large databases has been widely researched for various purposes...
AMAI
2008
Springer
14 years 12 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...
139
click to vote
ICLA
2011
Springer
14 years 3 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...