4209 search results - page 110 / 842 » Abstract Dialectical Frameworks |
154
click to vote
KRDB
2003
15 years 6 months ago
2003
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme,...
142
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
131
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
165
click to vote
TNN
2008
15 years 4 months ago
2008
Abstract--Suppose for a given classification or function approximation (FA) problem data are collected using sensors. From the output of the th sensor, features are extracted, ther...
137
click to vote
TOCL
2008
15 years 4 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...