13 years 4 months ago
An Algebraic Approach to Dynamic Epistemic Logic
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
Prakash Panangaden, Caitlin Phillips, Doina Precup...
66views more  CCR 1999»
13 years 6 months ago
Operational and performance issues of a CBQ router
The use of scheduling mechanisms like Class Based Queueing (CBQ) is expected to play a key role in next generation multiservice IP networks. In this paper we attempt an experiment...
Fulvio Risso, Panos Gevros
13 years 6 months ago
Programming languages as part of core computer science
While the programming languages course played a key role in Curricula '68, '78, and '91, Curriculum 2001 replaced most of the content in programming languages with ...
Kim B. Bruce, Stephen N. Freund
13 years 6 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
88views more  KER 2008»
13 years 6 months ago
Ontology change: classification and survey
Ontologies play a key role in the advent of the Semantic Web. An important problem when dealing with ontologies is the modification of an existing ontology in response to a certai...
Giorgos Flouris, Dimitris Manakanatas, Haridimos K...
88views more  IIE 2008»
13 years 6 months ago
Development of Generative Learning Objects Using Feature Diagrams and Generative Techniques
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
Vytautas Stuikys, Robertas Damasevicius
105views more  COGSCI 2010»
13 years 6 months ago
The Role of Explanation in Discovery and Generalization: Evidence From Category Learning
Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations--even to themselves--t...
Joseph J. Williams, Tania Lombrozo
208views more  BMCBI 2008»
13 years 6 months ago
GraphFind: enhancing graph searching by low support data mining techniques
Background: Biomedical and chemical databases are large and rapidly growing in size. Graphs naturally model such kinds of data. To fully exploit the wealth of information in these...
Alfredo Ferro, Rosalba Giugno, Misael Mongiov&igra...
13 years 11 months ago
Reaching Agreement Through Argumentation: A Possibilistic Approach
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
Leila Amgoud, Henri Prade
14 years 13 days ago
Being There: Participants and Spectators in Interactive Narrative
This paper considers the problem of evaluating interactive narrative and discusses the storification process through which a narrative is internalised. It establishes the range of ...
Ruth Aylett, Sandy Louchart