Sciweavers

15754 search results - page 573 / 3151
» Programs are Knowledge Bases
Sort
View
ENTCS
2006
120views more  ENTCS 2006»
15 years 7 months ago
Flexible Communication of Agents based on FIPA-ACL
Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, a...
M. Jamshid Bagherzadeh, S. Arun-Kumar
IFIP
2009
Springer
15 years 4 months ago
Game-Based Verification of Multi-Party Contract Signing Protocols
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
164
Voted
WEBI
2007
Springer
16 years 1 months ago
Document-Centric Query Answering for the Semantic Web
In this paper, we propose document-centric query answering, a novel form of query answering for the Semantic Web. We discuss how we have built a knowledge base system to support t...
Yuanbo Guo, Jeff Heflin
AH
2000
Springer
15 years 11 months ago
Coherence in Modularly Composed Adaptive Learning Documents
Abstract. In this paper we suggest the Multibook approach how the gap between adaptivity and readability can be diminished. We show how a knowledge base has to be described by meta...
Cornelia Seeberg, Achim Steinacker, Ralf Steinmetz
AVI
2008
15 years 9 months ago
Visual design of service deployment in complex physical environments
In this paper we discuss the problem of deploying appliances for interactive services in complex physical environments using a knowledge based approach to define the relations bet...
Augusto Celentano, Fabio Pittarello