Sciweavers

71 search results - page 11 / 15
» A Framework for Developing Intelligent Tutoring Systems Inco...
Sort
View
ATAL
2003
Springer
14 years 21 days ago
Recommender systems: a market-based design
Recommender systems have been widely advocated as a way of coping with the problem of information overload for knowledge workers. Given this, multiple recommendation methods have ...
Yan Zheng Wei, Luc Moreau, Nicholas R. Jennings
ATAL
2003
Springer
14 years 21 days ago
Customizing AOSE methodologies by reusing AOSE features
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
Thomas Juan, Leon Sterling, Maurizio Martelli, Viv...
AAAI
2004
13 years 9 months ago
Comparing Cognitive and Computational Models of Narrative Structure
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
David B. Christian, R. Michael Young
TABLEAUX
2009
Springer
14 years 6 hour ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
ATAL
2007
Springer
13 years 11 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland