523 search results - page 3 / 105 » Past and Future of DL-Lite |
111
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
128
Voted
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
109
click to vote
ECEASST
2006
15 years 1 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
231
Voted
KER
2011
14 years 4 months ago
2011
Data mining has become a well established discipline within the domain of Artificial Intelligence (AI) and Knowledge Engineering (KE). It has its roots in machine learning and st...
101
click to vote
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Time/utility function time constraints (or TUFs) and utility accrual (UA) scheduling optimality criteria, constitute, arguably, the most effective and broadest approach for adapti...