8838 search results - page 45 / 1768 » Generalizing Domain Theory |
SIAMJO
2010
13 years 4 months ago
2010
Given a C1,1
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
CLEIEJ
2004
13 years 9 months ago
2004
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
ATAL
2001
Springer
14 years 2 months ago
2001
Springer
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...
AAAI
1998
13 years 11 months ago
1998
Weadvance a knowledge-based learning method that augments conventional generalization to permit concept acquisition in failure domains. These are domains in whichlearning must pro...