2611 search results - page 228 / 523 » A Logic for Concepts and Similarity |
158
click to vote
EDOC
1997
IEEE
15 years 10 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
156
click to vote
SIAMCO
2002
15 years 6 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
146
click to vote
DSD
2007
IEEE
16 years 27 days ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
192
click to vote
LICS
2006
IEEE
16 years 17 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
186
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...