2492 search results - page 61 / 499 » An Integrated Rule Modeling Framework |
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...
115
click to vote
DKE
2008
14 years 9 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
116
click to vote
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Personalization systems based upon users' surfing behavior analysis imply three phases: data collection, pattern discovery and recommendation. Due to the dimension of log file...
101
click to vote
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...