Search results for "Kaile Su"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu	A complete first-order temporal BDI logic for forest multi-agent systems.	Knowl.-Based Syst.	2012	DBLP DOI BibTeX RDF
1	Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang (eds.)	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management - Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings	FAW-AAIM	2012	DBLP DOI BibTeX RDF
1	Yanyan Xu, Wei Chen 0018, Kaile Su, Wenhui Zhang	Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.	FAW-AAIM	2012	DBLP DOI BibTeX RDF
1	Shaowei Cai, Kaile Su, Abdul Sattar	Local search with edge weighting and configuration checking heuristics for minimum vertex cover.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Tian Liu, Xiaxiang Lin, Chaoyi Wang, Kaile Su, Ke Xu	Large Hinge Width on Sparse Random Hypergraphs.	IJCAI	2011	DBLP BibTeX RDF
1	Shaowei Cai, Kaile Su	Local Search with Configuration Checking for SAT.	ICTAI	2011	DBLP DOI BibTeX RDF
1	Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang	A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.	Knowl.-Based Syst.	2010	DBLP DOI BibTeX RDF
1	Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang	Symbolic Model Checking the Knowledge in Herbivore Protocol.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Shaowei Cai, Kaile Su, Qingliang Chen	EWLS: A New Local Search for Minimum Vertex Cover.	AAAI	2010	DBLP BibTeX RDF
1	Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang	Variable Forgetting in Reasoning about Knowledge.	J. Artif. Intell. Res. (JAIR)	2009	DBLP DOI BibTeX RDF
1	Yanyan Xu, Weiya Yue, Kaile Su	The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.	FAW	2009	DBLP DOI BibTeX RDF
1	David A. Bell, Ying Jiang, Ruqian Lu, Kaile Su, Songmao Zhang	Knowware: The Third Star after Hardware and Software.	KSEM	2009	DBLP DOI BibTeX RDF
1	Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen	Solving Sum and Product Riddle via BDD-Based Model Checking.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
1	Jinji Yang, Kaile Su, Qingliang Chen	Improving Encoding Efficiency for Bounded Model Checking.	TASE	2008	DBLP DOI BibTeX RDF	encoding, SAT, Bounded Model Checking
1	Han Lin, Kaile Su, Chu Min Li	Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.	AAAI	2008	DBLP BibTeX RDF
1	Kaile Su, Abdul Sattar	An Extended Interpreted System Model for Epistemic Logics.	AAAI	2008	DBLP BibTeX RDF
1	Qingliang Chen, Kaile Su, Xizhong Zheng	Primitive recursive real numbers.	Math. Log. Q.	2007	DBLP DOI BibTeX RDF
1	Qingliang Chen, Kaile Su, Xizhong Zheng	Primitive Recursiveness of Real Numbers under Different Representations.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Kaile Su, Yinyin Xiao, Qingliang Chen, Han Lin	Semantic interpretation of compositional logic in instantiation space.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	Instantiation Space, Compositional Logic, interpretation
1	Kaile Su, Abdul Sattar, Xiangyu Luo	Model Checking Temporal Logics of Knowledge Via OBDDs.	Comput. J.	2007	DBLP DOI BibTeX RDF
1	Han Lin, Kaile Su	Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.	IJCAI	2007	DBLP BibTeX RDF
1	Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds	A Modal Logic for Beliefs and Pro Attitudes.	AAAI	2007	DBLP BibTeX RDF
1	Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang	A logical framework for identifying quality knowledge from different data sources.	Decision Support Systems	2006	DBLP DOI BibTeX RDF
1	Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	formal verification, SAT, authentication protocol, knowledge structure
1	Weiya Yue, Yanyan Xu, Kaile Su	BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
1	Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds	Verification of Multi-agent Systems Via Bounded Model Checking.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
1	Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo	Observation-Based Logic of Knowledge, Belief, Desire and Intention.	KSEM	2006	DBLP DOI BibTeX RDF
1	Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun	The interpreted system model of knowledge, belief, desire and intention.	AAMAS	2006	DBLP DOI BibTeX RDF
1	Kaile Su, Guanfeng Lv, Qingliang Chen	Knowledge structure approach to verification of authentication protocols.	Science in China Series F: Information Sciences	2005	DBLP DOI BibTeX RDF
1	Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori	Computationally Grounded Model of BDI-Agents.	IJCAI	2005	DBLP BibTeX RDF
1	Kaile Su, Congxin Zhao, Guanfeng Lv, Han Lin, Qingliang Chen	Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.	WINE	2005	DBLP DOI BibTeX RDF
1	Lijun Wu, Kaile Su, Qingliang Chen	Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.	CIS	2005	DBLP DOI BibTeX RDF
1	Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen	A computationally grounded logic of knowledge, belief and certainty.	AAMAS	2005	DBLP DOI BibTeX RDF	computationally grounded model, modal logic, interpreted system
1	Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv	Bounded model checking knowledge and branching time in synchronous multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
1	Kewen Wang, Abdul Sattar, Kaile Su	A Theory of Forgetting in Logic Programming.	AAAI	2005	DBLP BibTeX RDF
1	Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan	Observation-based Model for BDI-Agents.	AAAI	2005	DBLP BibTeX RDF
1	Ron van der Meyden, Kaile Su	Symbolic Model Checking the Knowledge of the Dining Cryptographers.	CSFW	2004	DBLP DOI BibTeX RDF
1	Kaile Su, Guanfeng Lv, Yan Zhang	Reasoning about Knowledge by Variable Forgetting.	KR	2004	DBLP BibTeX RDF
1	Kaile Su	Model Checking Temporal Logics of Knowledge in Distributed Systems.	AAAI	2004	DBLP BibTeX RDF
1	Kai Engelhardt, Ron van der Meyden, Kaile Su	Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.	Advances in Modal Logic	2002	DBLP BibTeX RDF
1	Dongming Xu, Huaiqing Wang, Kaile Su	Intelligent Student Profiling with Fuzzy Models.	HICSS	2002	DBLP DOI BibTeX RDF	Student profiling, Software agents, Fuzzy model, Web-based education
1	Kaile Su	More on Representation Theory for Default Logic.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
1	Kaile Su	Constraints on Extensions of a Default Theory.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
1	Kaile Su, Xudong Luo, Huaiqing Wang, Chengqi Zhang, Shichao Zhang, Qingfeng Chen	A Logical Framework for Knowledge Sharing in Multi-agent Systems.	COCOON	2001	DBLP DOI BibTeX RDF	logic, autonomous agents, philosophical foundations
1	Kaile Su, Huowang Chen, Decheng Ding	Two alternative notions of 'possibility' satisfying Halpern's conditions.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
1	Kaile Su, Wei Li	Computation of Extensions of Seminormal Default Theories.	Fundam. Inform.	1999	DBLP DOI BibTeX RDF
1	Kaile Su, Decheng Ding, Huowang Chen	A Three-Valued Quantificational Logic of Context.	COCOON	1997	DBLP DOI BibTeX RDF

Publications of "Kaile Su" ( http://dblp.L3S.de/Authors/Kaile_Su )