Sciweavers

1368 search results - page 67 / 274
» Personality-Based Practical Reasoning
Sort
View
ER
2010
Springer
154views Database» more  ER 2010»
15 years 16 days ago
Modelling Functional Requirements in Spatial Design
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
Mehul Bhatt, Joana Hois, Oliver Kutz, Frank Dylla
ATAL
2009
Springer
15 years 8 months ago
Dialogues that account for different perspectives in collaborative argumentation
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
Elizabeth Black, Katie Atkinson
ATAL
2007
Springer
15 years 8 months ago
EBDI: an architecture for emotional agents
Most of the research on multiagent systems has focused on the development of rational utility-maximizing agents. However, research shows that emotions have a strong effect on peo...
Hong Jiang, José M. Vidal, Michael N. Huhns
CEFP
2007
Springer
15 years 8 months ago
Proving Properties of Lazy Functional Programs with Sparkle
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
IPPS
1999
IEEE
15 years 6 months ago
A Structured Approach to Parallel Programming: Methodology and Models
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
Berna L. Massingill