Searching for authors named "Kaile Su" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Reasoning about knowledge by variable forgetting
- …Reasoning about Knowledge by Variable Forgetting Kaile Su and Guanfeng Lv Institute of Logic…
- Cited by 5 (1 self) – Add To MetaCart
-
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving ∗
- … Su 1Department of Computer Science, Sun Yat-sen University, Guangzhou 510275, P. R. China 2IIIS…
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic Model Checking the Knowledge of the Dining Cryptographers
- …Symbolic Model Checking the Knowledge of the Dining Cryptographers Ron van der Meyden Kaile Su…
- Cited by 30 (5 self) – Add To MetaCart
-
A logical framework for knowledge sharing in multi-agent systems
- …A Logical Framework for Knowledge Sharing in Multi-agent Systems Kaile Su 1,2 , Xudong Luo 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers
- … der Meyden and Kaile Su abstract. Local propositions arise in the context of the semantics for logics…
- Cited by 1 (0 self) – Add To MetaCart
-
The observation-based model for bdi-agents
- …The Observation-based Model for BDI-Agents ∗ Kaile Su 1,2 , Abdul Sattar 1 , Kewen Wang 1…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 6.
