481
Voted
PRIMA
2015
Springer
9 years 11 months ago
2015
Springer
To deal with a broad spectrum of domains, intelligent agents have to generate their own task-oriented dialogue that stems from the need to interact with another agent when solving ...
457
Voted
PRIMA
2015
Springer
9 years 11 months ago
2015
Springer
Module checking is a decision problem proposed in late 1990s to formalize verification of open systems, i.e., systems that must adapt their behavior to the input they receive from...
459
Voted
PRIMA
2015
Springer
9 years 11 months ago
2015
Springer
Maintaining high levels of safety under conditions of ever increasing air traffic is a challenging task. Failures to comply with safety-related regulations are often considered to ...
476
click to vote
PRIMA
2015
Springer
9 years 11 months ago
2015
Springer
Traditionally, Embodied Conversational Agents communicate with humans using dialogue systems based on conversation trees. To enhance the flexibility and variability of dialogues, t...
109
Voted
PRIMA
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Leximin AMODCOP has been proposed as a class of Multiple Objective Distributed Constraint Optimization Problems, where multiple objectives for individual agents are optim...