Sciweavers

2638 search results - page 180 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Cognitive agents based simulation for decisions regarding human team composition
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...
Bruno Gonçalves, António Lopes, Sofi...
LOPSTR
2000
Springer
15 years 10 months ago
A formal framework for synthesis and verification of logic programs
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
Alessandro Avellone, Mauro Ferrari, Camillo Fioren...
AICT
2006
IEEE
162views Communications» more  AICT 2006»
16 years 18 days ago
A Bayesian framework for online reputation systems
— As the number of online auction sites has increased, interest towards providing reliable summaries, reputations, about the past behaviour of sellers has risen. Existing approac...
Petteri Nurmi
SAFECOMP
2005
Springer
16 years 4 hour ago
Safety Interfaces for Component-Based Systems
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
AAAI
1994
15 years 7 months ago
A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues
This paper presents a plan-based architecture for response generation in collaborative consultation dialogues, with emphasis on cases in which the system (consultant) and user (ex...
Jennifer Chu-Carroll, Sandra Carberry