CertainLogic: A Logic for Modeling Trust and Uncertainty - (Short Paper).

Sebastian Ries Sheikh Mahbub Habib Max Mühlhäuser Vijay Varadharajan

Published in: TRUST (2011)

Keyphrases

trust model
uncertain data
reasoning under uncertainty
neural network
information systems
web services
information technology
knowledge representation
logic programming
virtual communities
modeling method
classical logic
deontic logic
asynchronous circuits