Sciweavers

205 search results - page 36 / 41
» An Intelligent Semantic Agent for e-Learning Message Communi...
Sort
View
AAAI
2008
14 years 12 months ago
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
Paul Fodor
ATAL
2007
Springer
15 years 3 months ago
A generative inquiry dialogue system
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
Elizabeth Black, Anthony Hunter
ATAL
2008
Springer
14 years 11 months ago
Max-sum decentralised coordination for sensor systems
A key challenge for the successful deployment of systems consisting of multiple autonomous networked sensors is the development of decentralised mechanisms to coordinate the activ...
W. T. Luke Teacy, Alessandro Farinelli, N. J. Grab...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 2 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
76
Voted
WRAC
2005
Springer
15 years 3 months ago
Concept and Sensor Network Approach to Computing: The Lexicon Acquisition Component
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...
Jan Smid, Marek Obitko, Andrej Bencur