4126 search results - page 66 / 826 » Set based logic programming |
ICWL
2007
Springer
14 years 5 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
ICML
1989
IEEE
14 years 3 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
DAGSTUHL
2007
14 years 18 days ago
2007
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
MP
2002
13 years 10 months ago
2002
The stability number (G) for a given graph G is the size of a maximum stable set in G. The Lov
MICAI
2007
Springer
14 years 5 months ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...