A Logical Framework for Knowledge Sharing in Multi-agent Systems
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Remote Belief: Preserving Volition for Loosely Coupled Processes
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Agents, beliefs, and plausible behavior in a temporal setting
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Classical Knowledge for Quantum Cryptographic Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Pr$\mathcal{SH}$: A Belief Description Logic
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Expert Systems with Applications: An International Journal
Representing and verifying temporal epistemic properties in multi-agent systems
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
PrDLs: a new kind of probabilistic description logics about belief
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Using deductive knowledge to improve cryptographic protocol verification
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Automatically optimizing secure computation
Proceedings of the 18th ACM conference on Computer and communications security
Reasoning about quantum knowledge
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specification and verification of multi-agent systems
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
Efficient secure computation optimization
Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies
| Hi-index | 0.00 |