645 search results - page 44 / 129 » Agency in Natural and Artificial Systems |
AISC
1994
Springer
14 years 28 days 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
14 years 11 days 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 10 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...
IBERAMIA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In Natural Language Generation (NLG) systems, a generalpurpose surface realisation module will usually require the underlying application to provide highly detailed input...
AIED
2011
Springer
13 years 13 days 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...