Sciweavers

118 search results - page 9 / 24
» Empirical Analysis for Agent System Comprehension and Verifi...
Sort
View
AAAI
2004
13 years 8 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
ENTCS
2002
144views more  ENTCS 2002»
13 years 7 months ago
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
Paolo Torroni
ENTCS
2006
136views more  ENTCS 2006»
13 years 7 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
ICSE
2008
IEEE-ACM
14 years 7 months ago
Answering common questions about code
Difficulties understanding update paths while understanding code cause developers to waste time and insert bugs. A detailed investigation of these difficulties suggests that a wid...
Thomas D. LaToza
CAISE
2003
Springer
14 years 19 days ago
Conceptual Modelling in Practice - Myth or Reality?
Conceptual modelling is thought (by academics at least) to be a key activity of Business Systems Analysis. For decades, comprehensive research has been conducted on related topics ...
Islay Davies, Peter Green, Michael Rosemann