Kaile Su

	China Beijing Southport Griffith Peking

	Research Logic Abdul Sattar Workshop Peking University Griffith University Guanfeng International Conference Model

Images of Kaile Su

(1 - 1 from 1 )

News

(1 - 4 from 8

–show all

)

Workshop | EASLLC | The Third East-Asian School on Logic,...

tsinghualogic.net

4:00 – 4:30 Kaile Su Epistemic coalition logic for multi-agent systems. 4:30 – 5:00 Samson Abramsky Splitting the atom of information, twice: a short tour through ...

WLIAMAS : The 3rd Workshop on Logics for Intelligent Agents ...

www.wikicfp.com

Kaile Su (Peking University) Andrzej Szalas (Linköping University) Tarmo Uustalu (Tallinn University of Technology) Leon van der Torre (University of Luxembourg) Kewen Wang (Griffith University) Michael Winikoff (University of Otago) ...

Welcome to visit IJSI website!

www.ijsi.org

Kaile Su (Griffith University) Wenfang Wang (National Yang Ming University) Yanjing Wang (Peking University) Minghui Xiong (Sun Yat-Sen ...

Fourth International Workshop on Logic, Rationality and Interaction...

philevents.org

... Jeremy Seligman (University of Auckland); Kaile Su (Griffith University); Wenfang Wang (National Yang Ming University); Yanjing Wang (Peking University) ...

Network Profiles

(1 - 4 from 11

–show all

)

Facebook: Kaile Su | Facebook

LinkedIn: Kaile Su | 领英

查看Kaile Su的领英职业档案。领英是全球领先的商务人脉网络，帮助像Kaile Su这样的职场人士找到企业内部联系人，并通过这些 ...

LinkedIn: Kaile Su | 领英

查看Kaile Su (中国) 的领英档案。领英是全球最大的职业社交网站，可帮助和Kaile Su一样的职场人士发现潜在人脉，推荐职位人选、行业精英和合作伙伴。

GitHub - jrclogic/SMCDEL: A symbolic model checker for Dynamic...

github.com

SMCDEL - A symbolic model checker for Dynamic Epistemic Logic.

Interests

Qingliang Chen, Kaile Su & Xizhong Zheng, Primitive recursive real...

philpapers.org

In mathematics, various representations of real numbers have been investigated. All these representations are mathematically equivalent because they lead to...

Business Profiles

Researchgate: Kaile Su

Beijing, China

Private Homepages

CiteSeerX — Citation Query der Meyden and Kaile Su. Symbolic model...

citeseerx.ist.psu.edu

CiteSeerX - Scientific documents that cite the following paper: der Meyden and Kaile Su. Symbolic model checking the knowledge of the dining cryptographers

Books & Literature

(1 - 4 from 23

–show all

)

bokus.com: Kaile Su - Böcker | Bokus bokhandel

Köp böcker av Kaile Su:

Edith Cowan Library All...

library.ecu.edu.au

... joint international conference, FAW-AAIM 2012, Beijing, China, May , : proceedings / Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.).

AI 2006: Advances in Artificial Intelligence: 19th Australian Joint...

books.google.co.uk

... of MAS verification has focused on the. Verification of Multi-agent Systems Via Bounded Model Checking Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds.

Combinatorial Optimization and Applications: 5th International...

books.google.co.uk

This book constitutes the refereed proceedings of the 5th International Conference on Combinatorial Optimization and Applications, COCOA 2011, held in...

Scientific Publications

dblp: Kaile Su

dblp.uni-trier.de

List of computer science publications by Kaile Su

21st International Conference on Discrete Geometry for Computer ...dgci2019.sciencesconf.org › ...

dgci2019.sciencesconf.org

Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph. Cong Rao 1 , Yi Fan 2, 3 , Kaile Su 3 , Longin Jan ...

dblp: Qingliang Chen

dblp.uni-trier.de

List of computer science publications by Qingliang Chen

Grundlagen der Künstlichen Intelligenz · Lesegruppe Handlungsplanung...

www2.informatik.uni-freiburg.de

, Shaowei Cai, Kaile Su and Qingliang Chen. EWLS: A New Local Search for Minimum Vertex Cover. In Proceedings of the Twenty-Fourth AAAI Conference ...

Publications

(1 - 4 from 7

–show all

)

Publications Authored by Kaile Su | PubFacts.com

www.pubfacts.com

Publications Authored By Kaile Su Oct. Deep Neural Networks with Multistate Activation Functions. Comput Intell Neurosci. Comput Intell Neurosci

A Logical Framework for Knowledge Sharing in Multi-agent Systems |...

link.springer.com

The issue of knowledge sharing has been an important topic in multi-agent research. Knowledge sharing leads to that agents analyze, judge and synthesize the...

Oalib search

www.oalib.com

Kaile Su,Abdul Sattar,Guanfeng Lv,Yan Zhang Computer Science , 2014, DOI: jair Abstract: In this paper, we investigate ...

A complete coalition logic of temporal knowledge for multi-agent...

link.springer.com

Kaile Su received his PhD degree in mathematics from Nanjing University, China , in He is currently an associate professor in the Institute ...

Reports & Statements

(1 - 4 from 9

–show all

)

Google Groups: Accepetd Papers for COCOON97

: ... Xizhong Zheng A Three-valued Quantificational Logic of Context --- Kaile Su They Are Just Butterflies --- Yong-Hong Chen and Qiao Li Rearrangeable ...

Google Groups: COCOON'97: final program and call for participation

: ... Naohiro Ishii \item{6:10pm} {\it A Three-valued Quantificational Logic of Context} Kaile Su, Decheng Ding, Huowang Chen \item{\underline{7:00pm ...

Google Groups: CFP: The Second International Conference on Knowledge Science ...

: ... Universität Mannheim, Germany Kaile Su, Zhongshan University, China Jigui Sun, Jilin University, China Mirek Truszczynski, University of Kentucky, ...

Google Groups: Cocoon97: preliminary program and registration

: ... in Order-Sorted Term Rewriting Systems --- Yoshinobu Kawabe, Naohiro Ishii 6:10 A Three-valued Quantificational Logic of Context --- Kaile Su, ...

Miscellaneous

(1 - 20 from 53

–show all

)

Kaile Su | LinkedIn

www.linkedin.com

business network, helping professionals like Kaile Su discover inside ...

Kaile Su - Google Scholar Citations

scholar.google.com

Объединенные цитирования. В статистику счетчика "Процитировано:" включены ссылки на указанные далее статьи в Академии. Отметка * означает, ...

Research Experiences - Yilei WANG

sites.google.com

I have once done a group research on max clique problem as a course project under the guidance of Kaile Su, a professor in PKU EECS. Max clique problem has long been

LIRa session: Kaile Su – Logic and Interactive Rationality

projects.illc.uva.nl

invited! Speaker: Kaile Su (Peking University & 'Future Fellow' ...

Kaile Su (born September 13, 1964), Chinese educator, computer ...prabook.com › web › kaile.su

prabook.com

Kaile Su, Chinese computer scientist, educator. Achievements include research in a new verification tool for security protocols. Recipient Best Paper award, ...

easychair.org

AAAI-14: TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE. PROGRAMINDEXES. Kaile Su. Organization: Griffith University. Pages in ...

Su Kaile 苏开乐 |

tsinghualogic.net

苏开乐 Su Kaile (Griffith University) – Home page: ... Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable Forgetting in Reasoning about Knowledge.

Kaile Su: د Z-Library مفت الکترونیکی کتابتون - مشهورترینaf.sng1lib.org › ...

ru.1lib.domains

Kaile Su: د Z-Library مفت الکترونیکی کتابتون | Z-Library. Download books for free. Find books.

TDGS - "Kaile Su"

juliette.lsi.us.es

A total of 108 records were found in seconds. Fetch | Report | Google

Fenrong Liu & Kaile Su, Logic and AI in China: An PhilArchivephilarchive.org › rec › LIULAA

philarchive.org

This entry is not on PhilArchive. You will be redirected to PhilPapers in 5 seconds . If you're not redirected, click here. loading .

AiML: Volume 4

www.aiml.net

Volume 4 is available online as a single ps file or by separate ... Kaile Su, 9-30; Functional Completenes for a Natural Deduction Formulation of Hybridized S5 ...

AAMAS 2005

www.ifaamas.org

Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv; Model Generation for PRS-like Agents Wayne Wobcke, Marc Chee, Krystian Ji; Recognition ...

Focused Random Walk with Configuration Checking and Break Minimum for...

www.semanticscholar.org

Semantic Scholar extracted view of

Accepted Papers | CAV 2013

cav2013.forsyte.at

Guanfeng Lv, Kaile Su and Yanyan Xu, CacBDD: A BDD Package with Dynamic Cache Management. Andrew Reynolds, Cesare Tinelli, Amit Goel and Sava ...

A Reduction based Method for Coloring Very Large Graphs | IJCAIwww.ijcai.org › proceedings

www.ijcai.org

Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su ... The graph coloring problem ( GCP) is one of the most studied NP hard problems and has numerous applications.