0290 Belief Logic | ScienceGate

Reason-maintenance Belief Logic with Uncertain Information

ACM Transactions on Computational Logic ◽

10.1145/3355608 ◽

2020 ◽

Vol 21 (1) ◽

pp. 1-32

Author(s):

Tuan-Fang Fan ◽

Churn-Jung Liau

Keyword(s):

Uncertain Information ◽

Reason Maintenance ◽

Belief Logic

Download Full-text

Belief Logic

Introduction to Logic ◽

10.4324/9780203204887_chapter_10 ◽

2010 ◽

Keyword(s):

Belief Logic

Download Full-text

Computer implementation of a chosen version of strong belief logic

Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018 ◽

10.1117/12.2500605 ◽

2018 ◽

Author(s):

Przemysław Kopański ◽

Jan Mulawka ◽

Janusz Wesserling

Keyword(s):

Computer Implementation ◽

Strong Belief ◽

Belief Logic

Download Full-text

Query Answering in Belief Logic Programming

Lecture Notes in Computer Science - Scalable Uncertainty Management ◽

10.1007/978-3-642-04388-8_21 ◽

2009 ◽

pp. 268-281 ◽

Cited By ~ 1

Author(s):

Hui Wan ◽

Michael Kifer

Keyword(s):

Logic Programming ◽

Query Answering ◽

Belief Logic

Download Full-text

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04238-6_27 ◽

2009 ◽

pp. 316-328 ◽

Cited By ~ 2

Author(s):

Hui Wan ◽

Michael Kifer

Keyword(s):

Logic Programming ◽

Uncertainty Reasoning ◽

Belief Logic

Download Full-text

A Complete Probabilistic Belief Logic

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-540-69619-3_5 ◽

2007 ◽

pp. 80-94

Author(s):

Zining Cao

Keyword(s):

Belief Logic

Download Full-text

A Belief Logic for Analyzing Security of Web Protocols

Trust and Trustworthy Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30921-2_14 ◽

2012 ◽

pp. 239-254

Author(s):

Apurva Kumar

Keyword(s):

Belief Logic

Download Full-text

A Fuzzy Dynamic Belief Logic System

International Journal of Intelligent Systems ◽

10.1002/int.21652 ◽

2014 ◽

Vol 29 (7) ◽

pp. 687-711 ◽

Cited By ~ 11

Author(s):

Xiaoxin Jing ◽

Xudong Luo ◽

Youzhi Zhang

Keyword(s):

Belief Logic ◽

Logic System

Download Full-text

A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30502-6_10 ◽

2004 ◽

pp. 142-156 ◽

Cited By ~ 8

Author(s):

Chuchang Liu ◽

Maris A. Ozols ◽

Mehmet Orgun

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Belief Logic

Download Full-text

A Fibred Belief Logic for Multi-agent Systems

AI 2005: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11589990_6 ◽

2005 ◽

pp. 29-38 ◽

Cited By ~ 2

Author(s):

Chuchang Liu ◽

Maris A. Ozols ◽

Mehmet A. Orgun

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Belief Logic

Download Full-text