2214 search results - page 134 / 443 » Complexity of Reasoning |
112
click to vote
FLAIRS
2008
15 years 5 months ago
2008
This paper describes a research project that investigated the feasibility and advantages of using contextual reasoning to supervise the collaborative work of several knowledge wor...
114
click to vote
ISMVL
1999
IEEE
15 years 7 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
128
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
– We examine in this paper the tradeoff between application complexity, network complexity, and network efficiency. We argue that the design of the current Internet reflects a ...
129
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
128
click to vote
DISOPT
2007
15 years 3 months ago
2007
Constraint-based schedulers have been widely successful to tackle complex, disjunctive and cumulative, scheduling applications by combining tree search and constraint propagation....