Sciweavers

2469 search results - page 356 / 494
» Representations of Metabolic Knowledge
Sort
View
108
Voted
FOIS
2006
15 years 2 months ago
Approximation of Ontologies in CASL
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...
Klaus Lüttich
94
Voted
FLAIRS
2001
15 years 2 months ago
Integrating Task, Role, and User Modeling in Organizational Memories
In application areas like personal information agents user modelstypically maintain sophisticated representations of personal interest profiles. Theserepresentations can be utiliz...
Ludger van Elst, Andreas Abecker
117
Voted
MBUI
2004
104views User Interface» more  MBUI 2004»
15 years 2 months ago
An EUD Approach for Making MBUI Practical
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
José A. Macías, Pablo Castells
84
Voted
PARMA
2004
129views Database» more  PARMA 2004»
15 years 2 months ago
Towards a Language for Pattern Manipulation and Querying
Patterns are concise, but rich in semantic, representation of data. The approaches proposed in the literature to cope with pattern management problems usually deal with a single ty...
Elisa Bertino, Barbara Catania, Anna Maddalena
99
Voted
IJCAI
2003
15 years 2 months ago
Logical Filtering
Filtering denotes any method whereby an agent updates its belief state—its knowledge of the state of the world—from a sequence of actions and observations. In logical filterin...
Eyal Amir, Stuart J. Russell