Xiangyu Luo Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun Wu, Jinshu Su, Xiangyu Luo, Zhihua Yang, Qingliang Chen: A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems. Canadian Conference on AI 2009: 146-157
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen: Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633
2007
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds: Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo: Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378
2005
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv: Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS 2005: 1129-1130

Coauthor Index

1Qingliang Chen [1] [8]
2Yan Chen [7]
3Guido Governatori [2]
4Guanfeng Lv [1]
5Mehmet A. Orgun [3] [5]
6Vineet Padmanabhan [2]
7Mark Reynolds [4]
8Abdul Sattar [1] [2] [3] [4] [5] [6] [7]
9Jinshu Su [8]
10Kaile Su [1] [2] [3] [4] [5] [6] [7]
11Kewen Wang [2]
12Lijun Wu [8]
13Zhihua Yang [8]
14Weiya Yue [3]

Copyright © Sat Nov 14 20:26:04 2009 by Michael Ley (ley@uni-trier.de)