2911 search results - page 128 / 583 » A Theory of Expressiveness in Mechanisms |
235
click to vote
MST
2011
15 years 1 months ago
2011
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...
289
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...
174
click to vote
DLOG
1998
15 years 7 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
172
click to vote
AAAI
1990
15 years 7 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
141
click to vote
ENTCS
2010
15 years 6 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...