Knowledge Management Strategies: Toward a Taxonomy
Journal of Management Information Systems
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Cognitive automata and the law: electronic contracting and the intentionality of software agents
Artificial Intelligence and Law
Trust Theory: A Socio-Cognitive and Computational Model
Trust Theory: A Socio-Cognitive and Computational Model
Trust Networks for Recommender Systems
Trust Networks for Recommender Systems
Virtual knowledge communities for corporate knowledge issues
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Decision Making Modeled as a Theorem Proving Process
International Journal of Decision Support System Technology
Hi-index | 0.00 |
The ultimate goal of trust is to reach and make decisions based upon the available knowledge. We think that it is not enough to build trust on beliefs or on recommendation-based models. Our approach aims to implement it within a programming methodology inspired from the theorem proving domain. We propose a conceptual framework which transposes this to the context of virtual organizations. In this paper we describe our approach and partially illustrate it with a prototype system dedicated to information searching in the context of academic exchanges.