Kaile Su

Available identifiers

zbMath Open su.kaileMaRDI QIDQ238000

List of research outcomes

Publication	Date of Publication	Type
Quantified Coalition Logic of Knowledge, Belief and Certainty	2020-08-05	Paper
Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph	2019-10-16	Paper
Scheduling blocking flowshops with setup times via constraint guided and accelerated local search	2019-07-09	Paper
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*	2019-01-31	Paper
A first-order coalition logic for BDI-agents	2019-01-22	Paper
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems	2019-01-22	Paper
A complete coalition logic of temporal knowledge for multi-agent systems	2018-12-19	Paper
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling	2018-12-03	Paper
A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games	2018-05-03	Paper
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability	2017-05-16	Paper
CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability	2017-01-05	Paper
New local search methods for partial MaxSAT	2016-10-21	Paper
Preference dynamics in games with short sight	2016-05-02	Paper
Symbolic Model Checking for Dynamic Epistemic Logic	2015-12-17	Paper
A logical characterization of extensive games with short sight	2015-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q3455584	2015-12-11	Paper
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability	2015-11-20	Paper
Lower and Upper Bounds for Random Mimimum Satisfiability Problem	2015-11-12	Paper
Local search for Boolean satisfiability with configuration checking and subscore	2015-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2939519	2015-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2939522	2015-01-22	Paper
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses	2014-11-13	Paper
FWLS: A Local Search for Graph Coloring	2014-04-03	Paper
A Logic for Extensive Games with Short Sight	2013-11-06	Paper
Primitive Recursiveness of Real Numbers under Different Representations	2013-05-10	Paper
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover	2013-05-02	Paper
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition	2012-07-16	Paper
Local search with edge weighting and configuration checking heuristics for minimum vertex cover	2011-11-17	Paper
Symbolic Model Checking the Knowledge in Herbivore Protocol	2011-05-27	Paper
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning	2009-07-14	Paper
Primitive recursive real numbers	2007-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3431037	2007-04-05	Paper
Knowledge structure approach to verification of authentication protocols	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q5469611	2006-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5465433	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4823626	2004-10-28	Paper
More on representation theory for default logic	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4551392	2002-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q2784790	2002-08-05	Paper
Constraints on extensions of a default theory	2002-07-22	Paper
Two alternative notions of 'possibility' satisfying Halpern's conditions	2001-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4943322	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4235216	1999-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4364595	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4333071	1997-06-03	Paper
Some semantic results about the \(\underset\sim O\) operator in Levesque's logic of belief	1996-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4879700	1996-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4867681	1996-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4848184	1995-10-18	Paper
\(R\)-reconstruction in open logic	1995-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4311719	1995-03-15	Paper
Default logic about assertions	1995-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4300301	1994-11-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kaile Su