Sciweavers

2469 search results - page 356 / 494
» Representations of Metabolic Knowledge
Sort
View
FOIS
2006
14 years 4 days 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
FLAIRS
2001
14 years 3 days 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
MBUI
2004
104views User Interface» more  MBUI 2004»
14 years 3 days 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
PARMA
2004
129views Database» more  PARMA 2004»
14 years 3 days 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
IJCAI
2003
14 years 3 days 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