Sciweavers

1645 search results - page 163 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
WOA
2007
14 years 11 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
AIME
2007
Springer
15 years 2 months ago
Maintaining Formal Models of Living Guidelines Efficiently
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
Andreas Seyfang, Begoña Martínez-Sal...
ECIR
2008
Springer
14 years 11 months ago
Modeling Documents as Mixtures of Persons for Expert Finding
Abstract. In this paper we address the problem of searching for knowledgeable persons within the enterprise, known as the expert finding (or expert search) task. We present a proba...
Pavel Serdyukov, Djoerd Hiemstra
PADL
2010
Springer
15 years 7 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
UIC
2007
Springer
15 years 4 months ago
Towards a Model of Interaction for Mutual Aware Devices and Everyday Artifacts
Abstract. Devices like PDAs, mobile phones and Smartcards can communicate with each other and to exchange information and they should be made mutually aware of each other. For priv...
Sea Ling, Seng Wai Loke, Maria Indrawan