位置：成果数据库 > 会议 > 会议详情页
Bounded model Checking knowledge and branching time in synchronous multi-agent systems
  • 所属机构名称：中山大学
  • 会议名称：AAMAS 2005
  • 成果类型：会议
  • 相关项目：系统规范表示与验证的认识逻辑途径
作者： Kaile Su|Xiangyu Luo|Qingliang Chen|Abdul Sattar|
同会议论文项目
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
同项目会议论文
The Interpreted System Model of Knowledge, Belief, Desire and Intention
BDDRPA*: An Efficient BDD-based Incremental Heuristic Search Algorithm For Replanning
Verification of Multi-agent Systems via Bounded Model Checking
Reasoning About Knowledge by SAT Solving
Observation-Based Logic of Knowledge, Belief, Desire and Intention
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
Computationally grounded model of BDI-agents
A theory of forgetting in logic programming
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Primitive Recursive Real Numbe
Observation-based model for BD
The Algorithm Research for On
Observation-based model for BDI-agents
A Computationally Grounded Logic of Knowledge, Belief and Certainty
Observation-Based Logic of Kno
A theory of forgetting in logi
Reasoning About Knowledge by S
A Computationally Grounded Log
The Interpreted System Model o
Model Checking Temporal Logics
Improving Encoding Efficiency for Bounded Model Checking
Observation-Based Logic of Kno
A theory of forgetting in logi
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
Reasoning About Knowledge by S
Model Checking Temporal Logics
Observation-based model for BD
A Modal Logic for Beliefs and Pro Attitudes
A Computationally Grounded Log
The Interpreted System Model o
An Extended Interpreted System Model for Epistemic Logics