Sciweavers

1849 search results - page 166 / 370
» Intelligent Expressions of Emotions
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolving musical performance profiles using genetic algorithms with structural fitness
This paper presents a system that uses Genetic Algorithm (GA) to evolve hierarchical pulse sets (i.e., hierarchical duration vs. amplitude matrices) for expressive music performan...
Qijun Zhang, Eduardo Reck Miranda
PRIMA
2007
Springer
16 years 19 days ago
Entrainment in Human-Agent Text Communication
Non-verbal information such as utterance speed and switching pause create an impression of the speaker. If intelligent agents could handle such non-verbal information properly, the...
Ikuko Kanashiro, Kazuki Kobayashi, Yasuhiko Kitamu...
FAABS
2000
Springer
15 years 10 months ago
Verification within the KARO Agent Theory
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, M...
ATAL
2008
Springer
15 years 8 months ago
Reasoning about agent execution strategies
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
Natasha Alechina, Brian Logan, Mehdi Dastani, John...