1916 search results - page 139 / 384 » Reasoning with class algebra |
109
Voted
FOIS
2006
15 years 2 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
85
Voted
IJCAI
2003
15 years 2 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
96
Voted
JSW
2008
15 years 23 days ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
107
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
106
Voted
DLOG
2009
14 years 10 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...