ACM Transactions on Computer Systems (TOCS)
Propositional knowledge base revision and minimal change
Artificial Intelligence
Artificial Intelligence
A calculus for access control in distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about knowledge
Deriving answers to safety queries
Nonstandard queries and nonstandard answers
An authentication logic supporting synchronization, revocation, and recency
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
To trust information sources: a proposal for a modal logical framework
Trust and deception in virtual societies
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Reasoning about Information Change
Journal of Logic, Language and Information
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Proceedings of the International Workshop on Security Protocols
Actions That Make You Change Your Mind (Extended Abstract)
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Logical Approach to Multi-Sources Reasoning
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Semantics for an Agent Communication Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Formal Semantics for ProxyCommunicative Acts
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Logic-based Knowledge Representation for Authorization with Delegation
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Toward a semantics for an agent communications language based on speech0-acts
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Applied Ontology - Formal Ontologies for Communicating Agents
ACL Semantics Between Social Commitments and Mental Attitudes
Agent Communication II
Trust and Norms in the Context of Computer Security: A Logical Formalization
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Towards Trust-Based Acquisition of Unverifiable Information
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Computational Logic in Multi-Agent Systems
From Binary Trust to Graded Trust in Information Sources: A Logical Perspective
Trust in Agent Societies
Agent long-term coalition credit
Expert Systems with Applications: An International Journal
Expressing Belief Flow in Assertion Networks
Logic, Language, and Computation
Trust within the Context of Organizations: A Formal Approach
Formal Aspects in Security and Trust
The next 700 access control models or a unifying meta-model?
Proceedings of the 14th ACM symposium on Access control models and technologies
Probabilistic Dynamic Belief Logic for Image and Reputation
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
A-Teams and Their Applications
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Designing multi-agent systems: a framework and application
Expert Systems with Applications: An International Journal
A logic for authorization provenance
ASIACCS '10 Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security
Generalized modal satisfiability
Journal of Computer and System Sciences
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An intuitionistic epistemic logic for sequential consistency on shared memory
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Incorporating trust into the BDI architecture
International Journal of Artificial Intelligence and Soft Computing
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Arguing about the trustworthiness of the information sources
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Trust as dependence: a logical approach
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Rule-based trust assessment on the semantic web
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Socially constructed trust for distributed authorization
ESORICS'11 Proceedings of the 16th European conference on Research in computer security
Some thoughts on using argumentation to handle trust
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Toward a formal theory of belief, capability and promise incorporating temporal aspect
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Reputation-based decisions for logic-based cognitive agents
Autonomous Agents and Multi-Agent Systems
Modeling belief, capability and promise for cognitive agents – a modal logic approach
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part I
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
A survey of security issue in multi-agent systems
Artificial Intelligence Review
Goal generation from possibilistic beliefs based on trust and distrust
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Category-Based authorisation models: operational semantics and expressive power
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
Applied Ontology - Formal Ontologies for Communicating Agents
An argumentation-based approach to cooperative multi-source epistemic conflict resolution
MATES'12 Proceedings of the 10th German conference on Multiagent System Technologies
Using argumentation to reason with and about trust
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
A socio-cognitive model of trust using argumentation theory
International Journal of Approximate Reasoning
Design and validation of a relative trust model
Knowledge-Based Systems
Trust models and applications in communication and multi-agent systems
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers of KES2012-Part 2 of 2
Hi-index | 0.00 |
In this paper, we consider the influence of trust on the assimilation of acquired information into an agent's belief. By use of modal logic, we semantically and axiomatically characterize the relationship among belief, information acquisition and trust. The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a modal operator with minimal semantics. One characteristic axiom of the basic system is if agent i believes that agent j has told him the truth of p and he trusts the judgement of j on p, then he will also believe p. In addition to the basic system, some variants and further axioms for trust and information acquisition are also presented to show the expressive richness of the logic. The applications of the logic to computer security and database reasoning are also suggested by its connection with some previous works.