503 search results - page 70 / 101 » A multivalued knowledge-base model |
143
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
We propose a novel reasoning engine for context-aware ubiquitous computing middleware in this paper. Our reasoning engine supports both rulebased reasoning and machine learning rea...
282
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a Core Grid Ontology (CGO) that defines fundamental Grid-specific concepts, and the relationships between them. One of the key goals is to make this Co...
168
click to vote
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
152
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
176
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...