2588 search results - page 143 / 518 » Swarm Intelligence: From Natural to Artificial Systems |
AISC
1994
Springer
14 years 16 hour ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...
FLAIRS
2000
13 years 9 months ago
2000
To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...
AIED
2011
Springer
12 years 11 months ago
2011
Springer
The Pedagogical Assessment Workflow System (PAWS) is a new workflow-based pedagogical assessment framework that enables the efficient and robust integration of diverse datasets for...
AI
1999
Springer
13 years 7 months ago
1999
Springer
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encount...