2085 search results - page 17 / 417 » Special interest groups |
FQAS
2006
Springer
15 years 2 months ago
2006
Springer
Action rules introduced in [12] and extended further to e-action rules [21] have been investigated in [22], [13], [20]. They assume that attributes in a database are divided into t...
AAAI
2008
15 years 22 days ago
2008
Hierarchies are one of the most common organizational structures observed in multi-agent systems. In this paper we study vertical specialization as a reason for hierarchical struc...
90
Voted
AMAST
2008
Springer
15 years 12 days ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
AMAI
1998
Springer
14 years 10 months ago
1998
Springer
Overgeneralization is a major issue in the identification of grammars for formal languages from positive data. Different formulations of generalization and specialization strate...
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...