Skip to main content

1 Result(s)

within Chapter Remove this filter Conghua Zhou Remove this filter Computer Science Remove this filter Artificial Intelligence Remove this filter Computation by Abstract Devices Remove this filter Simulation and Modeling Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge

    Probabilistic temporal logics of knowledge have been used to specify multi-agent systems. In this paper, we introduce a probabilistic temporal logic of knowledge called PTLK for expressing time, knowledge, and...

    Conghua Zhou, Bo Sun, Zhifeng Liu in Artificial Intelligence and Computational Intelligence (2010)