| Publication | Date of Publication | Type |
|---|
Quantified coalition logic of knowledge, belief and certainty
Advances in Artificial Intelligence | 2020-08-05 | Paper |
Common object discovery as local search for maximum weight cliques in a global object similarity graph
Discrete Geometry for Computer Imagery | 2019-10-16 | Paper |
Scheduling blocking flowshops with setup times via constraint guided and accelerated local search
Computers & Operations Research | 2019-07-09 | Paper |
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
Journal Of Logic And Computation | 2019-01-31 | Paper |
A first-order coalition logic for BDI-agents
Frontiers of Computer Science | 2019-01-22 | Paper |
Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Frontiers of Computer Science | 2019-01-22 | Paper |
A complete coalition logic of temporal knowledge for multi-agent systems
Frontiers of Computer Science | 2018-12-19 | Paper |
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling
Computers & Operations Research | 2018-12-03 | Paper |
A dynamic-logical characterization of solutions to sight-limited extensive games
Fundamenta Informaticae | 2018-05-03 | Paper |
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
IEEE Transactions on Computers | 2017-05-16 | Paper |
CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
Artificial Intelligence | 2017-01-05 | Paper |
New local search methods for partial MaxSAT
Artificial Intelligence | 2016-10-21 | Paper |
Preference dynamics in games with short sight
Applied Mathematics and Computation | 2016-05-02 | Paper |
Symbolic Model Checking for Dynamic Epistemic Logic
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
A logical characterization of extensive games with short sight
Theoretical Computer Science | 2015-12-15 | Paper |
| Improving local search for random 3-SAT using quantitative configuration checking | 2015-12-11 | Paper |
CCAnr: a configuration checking based local search solver for non-random satisfiability
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Lower and Upper Bounds for Random Mimimum Satisfiability Problem
Frontiers in Algorithmics | 2015-11-12 | Paper |
Local search for Boolean satisfiability with configuration checking and subscore
Artificial Intelligence | 2015-08-27 | Paper |
| Qualitative extensive games with short sight: a more realistic model | 2015-01-22 | Paper |
| scientific article; zbMATH DE number 6389552 (Why is no real title available?) | 2015-01-22 | Paper |
Scoring functions based on second level score for \(k\)-SAT with long clauses
The Journal of Artificial Intelligence Research (JAIR) | 2014-11-13 | Paper |
FWLS: a local search for graph coloring
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | 2014-04-03 | Paper |
A logic for extensive games with short sight
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Primitive recursiveness of real numbers under different representations
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
NuMVC: an efficient local search algorithm for minimum vertex cover
Journal of Artificial Intelligence Research | 2013-05-02 | Paper |
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management | 2012-07-16 | Paper |
Local search with edge weighting and configuration checking heuristics for minimum vertex cover
Artificial Intelligence | 2011-11-17 | Paper |
Symbolic model checking the knowledge in Herbivore protocol
Model Checking and Artificial Intelligence | 2011-05-27 | Paper |
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning
Frontiers in Algorithmics | 2009-07-14 | Paper |
Primitive recursive real numbers
Mathematical Logic Quarterly | 2007-09-17 | Paper |
| Bounded model checking for temporal epistemic logic in synchronous multi-agent systems | 2007-04-05 | Paper |
Knowledge structure approach to verification of authentication protocols
Science in China. Series F | 2007-02-20 | Paper |
| Representation of graphs and its algorithms based on BDD | 2006-05-26 | Paper |
| scientific article; zbMATH DE number 2196583 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2112166 (Why is no real title available?) | 2004-10-28 | Paper |
More on representation theory for default logic
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1796996 (Why is no real title available?) | 2002-09-05 | Paper |
| A solution to a problem of Marek and Truszcyński | 2002-08-05 | Paper |
Constraints on extensions of a default theory
Journal of Computer Science and Technology | 2002-07-22 | Paper |
Two alternative notions of 'possibility' satisfying Halpern's conditions
Journal Of Logic And Computation | 2001-03-13 | Paper |
| scientific article; zbMATH DE number 1416106 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1267265 (Why is no real title available?) | 1999-06-20 | Paper |
| scientific article; zbMATH DE number 1088279 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 979885 (Why is no real title available?) | 1997-06-03 | Paper |
Some semantic results about the \(\underset\sim O\) operator in Levesque's logic of belief
Chinese Science Bulletin | 1996-10-31 | Paper |
| scientific article; zbMATH DE number 883255 (Why is no real title available?) | 1996-08-27 | Paper |
| scientific article; zbMATH DE number 851063 (Why is no real title available?) | 1996-06-25 | Paper |
| scientific article; zbMATH DE number 800099 (Why is no real title available?) | 1995-10-18 | Paper |
\(R\)-reconstruction in open logic
Chinese Science Bulletin | 1995-08-09 | Paper |
| scientific article; zbMATH DE number 679685 (Why is no real title available?) | 1995-03-15 | Paper |
Default logic about assertions
Science in China. Series A | 1995-02-13 | Paper |
| scientific article; zbMATH DE number 613145 (Why is no real title available?) | 1994-11-08 | Paper |
