14084 search results - page 249 / 2817 » A Theory for Game Theories |
187
click to vote
FSTTCS
2004
Springer
16 years 1 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
149
click to vote
FSTTCS
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
169
click to vote
ICWL
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. This paper calls on activity theory as tool for analyzing Asynchronous Learning Networks (ALN) to achieve a better understanding of their dynamics. This paper makes some ...
138
click to vote
ILP
2004
Springer
16 years 22 hour ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
171
Voted
PADL
2004
Springer
16 years 12 hour ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...