Search results for "belief logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Hui Wan	Belief Logic Programming with Cyclic Dependencies.	RR	2009	DBLP DOI BibTeX RDF
2	Hui Wan, Michael Kifer	Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Mehmet A. Orgun, Guido Governatori, Chuchang Liu	Modal tableaux for verifying stream authentication protocols.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
2	Wang Juan, Zhou Yajie, Zhang Huanguo	The Simplified Inductive Approach to Verifying Security Protocols.	ISECS	2008	DBLP DOI BibTeX RDF	inductive approach, security protocol, belief logic
2	Ji Ma, Mehmet A. Orgun	Formalising theories of trust for authentication protocols.	Information Systems Frontiers	2008	DBLP DOI BibTeX RDF	Trust theory, Agents, Authentication protocols, Belief logic
2	Regimantas Pliuskevicius, Aida Pliuskeviciene	Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.	CLIMA	2005	DBLP DOI BibTeX RDF
2	Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun	A Fibred Belief Logic for Multi-agent Systems.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
2	Yuan Yan Chen, Joseph J. Chen	Neural Networks and Belief Logic.	HIS	2004	DBLP DOI BibTeX RDF
2	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
2	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
1	Ji Ma, Mehmet A. Orgun, Kamel Adi	An analytic tableau calculus for a temporalised belief logic.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Hui Wan, Michael Kifer	Query Answering in Belief Logic Programming.	SUM	2009	DBLP DOI BibTeX RDF
1	Hui Wan	Belief Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF
1	Ji Ma, Mehmet A. Orgun, Abdul Sattar	Theories of Trust for Communication Protocols.	ATC	2009	DBLP DOI BibTeX RDF
1	Isaac Pinyol, Jordi Sabater-Mir, Pilar Dellunde	Probabilistic Dynamic Belief Logic for Image and Reputation.	CCIA	2008	DBLP DOI BibTeX RDF
1	Ji Ma, Mehmet A. Orgun	Analytic Tableaux for Verifying Agent Beliefs.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
1	Ji Ma, Mehmet A. Orgun	Specifying Agent Beliefs for Authentication Systems.	ECUMN	2007	DBLP DOI BibTeX RDF
1	Zining Cao	A Complete Probabilistic Belief Logic.	CLIMA	2006	DBLP DOI BibTeX RDF
1	Hao Chen, John A. Clark, Jeremy Jacob	Human competitive security protocols synthesis.	GECCO	2006	DBLP DOI BibTeX RDF	efficiency requirements, protocol refinement, security protocols, heuristic search, protocol synthesis, belief logic
1	Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori	Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.	DASC	2006	DBLP DOI BibTeX RDF
1	Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun	A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Churn-Jung Liau	Belief Reasoning, Revision and Fusion by Matrix Algebra.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	Belief states, belief reasoning, belief fusion, multi-agent systems, matrix algebra, belief revision
1	Paul Snow	Belief, Logic, and Partial Truth.	Computational Intelligence	2003	DBLP DOI BibTeX RDF
1	Zining Cao, Chunyi Shi	Probabilistic Belief Logic and Its Probabilistic Aumann Semantics.	J. Comput. Sci. Technol.	2003	DBLP DOI BibTeX RDF
1	Hongbin Zhou, Simon N. Foley	Fast automatic synthesis of security protocols using backward search.	FMSE	2003	DBLP DOI BibTeX RDF	backward search, security protocols, automatic generation, belief logic
1	Simon N. Foley, Hongbin Zhou	Towards a Framework for Autonomic Security Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
1	Anthony H. Dekker	C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	Cryptographic protocol, soundness, theorem prover, belief logic
1	Dan S. Wallach, Andrew W. Appel, Edward W. Felten	SAFKASI: a security mechanism for language-based systems.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	security-passing style, Java, Internet, WWW, access control, applets, stack inspection
1	Wu Wen, Fumio Mizoguchi	Analysis and Verification of Multi-Agent Interaction Protocols.	APSEC	1999	DBLP DOI BibTeX RDF
1	Stephen H. Brackin	Deciding Cryptographic Protocol Adequacy with HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
1	Michael Wooldridge, Michael Fisher	A Decision Procedure for a Temporal Belief Logic.	ICTL	1994	DBLP DOI BibTeX RDF
1	Luis Fariñas del Cerro, Said Soulhi	Mutual Belief Logic for Processing Definite Reference.	Natural Language Understanding and Natural Language Understanding Workshop	1984	DBLP BibTeX RDF