Sciweavers

1120 search results - page 10 / 224
» A Formal Framework for Interactive Agents
Sort
View
SEMWEB
2001
Springer
15 years 2 months ago
Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...
Drew V. McDermott, Mark H. Burstein, Douglas R. Sm...
AAMAS
2012
Springer
13 years 5 months ago
A formal model of emotions for an empathic rational dialog agent
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
Magalie Ochs, David Sadek, Catherine Pelachaud
72
Voted
ICCS
2005
Springer
15 years 3 months ago
A Visual Interactive Framework for Formal Derivation
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Paul Agron, Leo Bachmair, Frank Nielsen
CIA
2007
Springer
15 years 3 months ago
A Generic Framework for Argumentation-Based Negotiation
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
Markus M. Geipel, Gerhard Weiss
DALT
2003
Springer
15 years 2 months ago
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Pao...