645 search results - page 27 / 129 » Agency in Natural and Artificial Systems |
129
click to vote
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...
108
Voted
CEC
2005
IEEE
15 years 2 months ago
2005
IEEE
This paper presents an investigation into exploiting the population-based nature of Learning Classifier Systems for their use within highly-parallel systems. In particular, the use...
115
Voted
FLAIRS
2007
15 years 2 months ago
2007
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
AIED
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...