| Publication | Date of Publication | Type |
|---|
R-calculus. V: Description logics
Perspectives in Formal Induction, Revision and Evolution | 2024-02-07 | Paper |
R-Calculus, IV: Propositional Logic
Perspectives in Formal Induction, Revision and Evolution | 2023-04-21 | Paper |
A theory of requirements capture and its applications
Lecture Notes in Computer Science | 2022-11-02 | Paper |
A heuristic algorithm for cube packing with time schedule
Science China Information Sciences | 2022-10-28 | Paper |
Logical verification of scientific discovery
Science China Information Sciences | 2022-10-28 | Paper |
The sound and complete R-calculus for revising propositional theories
Science China Information Sciences | 2022-10-28 | Paper |
R-Calculus, III: Post Three-Valued Logic
Perspectives in Formal Induction, Revision and Evolution | 2022-08-11 | Paper |
R-calculus. II: Many-valued logics
Perspectives in Formal Induction, Revision and Evolution | 2022-02-21 | Paper |
A representative model based algorithm for maximal contractions
Science China Information Sciences | 2021-12-15 | Paper |
R-CALCULUS: a logic of belief revision
Perspectives in Formal Induction, Revision and Evolution | 2021-08-25 | Paper |
A decomposition based algorithm for maximal contractions
Frontiers of Computer Science | 2019-05-28 | Paper |
A sound and complete \(R\)-calculi with respect to contraction and minimal change
Frontiers of Computer Science | 2019-05-28 | Paper |
The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
Frontiers of Computer Science | 2019-01-22 | Paper |
Revision with probability
Journal of Symbolic Computation | 2017-02-06 | Paper |
Sound and complete Gentzen deduction system for intermediate propositional logic
Journal of Software | 2016-10-06 | Paper |
| Finite-time \(H_\infty\) control for switched linear systems based on mode-dependent average dwell time | 2016-01-15 | Paper |
An average analysis of backtracking on random constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
A formal semantics for debugging synchronous message passing-based concurrent programs
Science China Information Sciences | 2015-06-16 | Paper |
| Robust \(H_\infty\) control of networked control systems with short delays and packet dropouts | 2015-02-11 | Paper |
Mathematical logic. Foundations for information science
Progress in Computer Science and Applied Logic | 2014-12-01 | Paper |
Optimized statistical analysis of software trustworthiness attributes
Science China Information Sciences | 2013-08-20 | Paper |
\textbf{R}-calculus without the cut rule
Science China Information Sciences | 2013-07-03 | Paper |
Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
Lecture Notes in Computer Science | 2012-09-07 | Paper |
A formal semantics for program debugging
Science China Information Sciences | 2012-08-17 | Paper |
An algorithm to compute maximal contractions for Horn clauses
Science China Information Sciences | 2011-06-17 | Paper |
Dynamical characteristics of software trustworthiness and their evolutionary complexity
Science in China. Series F | 2010-03-03 | Paper |
Complexity of software trustworthiness and its dynamical statistical analysis methods
Science in China. Series F | 2010-03-03 | Paper |
A SYMBOLIC CALCULUS ON DEFECT REVISIONS OF AXIOMATIC SYSTEMS
Advances in Algebra and Combinatorics | 2009-04-14 | Paper |
Mathematical logic. Foundations for information science
Progress in Computer Science and Applied Logic | 2009-01-26 | Paper |
An Inductive Inference System and Its Rationality
Artificial Intelligence and Symbolic Computation | 2009-01-15 | Paper |
A programmable approach to revising knowledge bases
Science in China. Series F | 2007-02-20 | Paper |
A development calculus for specifications
Science in China. Series F | 2007-02-20 | Paper |
Many hard examples in exact phase transitions
Theoretical Computer Science | 2006-04-28 | Paper |
SIMILARITY REDUCTIONS AND INTEGRABILITY FOR THE BRUSSELATOR REACTION–DIFFUSION MODEL WITH SYMBOLIC COMPUTATION
International Journal of Modern Physics C | 2005-10-27 | Paper |
Limits of theory sequences over algebraically closed fields and applications.
Discrete Applied Mathematics | 2004-01-26 | Paper |
On the average similarity degree between solutions of random \(k\)-SAT and random CSPs.
Discrete Applied Mathematics | 2004-01-26 | Paper |
A programmable approach to maintenance of a finite knowledge base
Journal of Computer Science and Technology | 2003-08-13 | Paper |
The SAT phase transition
Science in China. Series E | 2002-08-18 | Paper |
Operational and complete approaches to belief revision
Journal of Computer Science and Technology | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1500579 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1448978 (Why is no real title available?) | 2000-05-18 | Paper |
An incremental approach to automatic algorithm design
Journal of Computer Science and Technology | 2000-04-10 | Paper |
| scientific article; zbMATH DE number 1416106 (Why is no real title available?) | 2000-03-16 | Paper |
Open logic based on total-ordered partition model
Science in China. Series E | 1999-11-08 | Paper |
The open logic and its relation to circumscription
Science in China. Series E | 1999-09-13 | Paper |
On \(k\)-positive satisfiability problem
Journal of Computer Science and Technology | 1999-01-01 | Paper |
R-calculus for ELP: An operational approach to knowledge base maintenance
Journal of Computer Science and Technology | 1997-03-23 | Paper |
Parametric logic: Foundations
Science in China. Series A | 1996-05-13 | Paper |
A logical framework for knowledge base maintenance
Journal of Computer Science and Technology | 1995-07-24 | Paper |
A mathematic-physical approach to the satisfiability problem
Science in China. Series A | 1995-05-11 | Paper |
Concurrent calculus (CC) and its properties
Science in China. Series A | 1993-08-24 | Paper |
An open logic system
Science in China. Series A | 1993-08-17 | Paper |
A type-theoretic approach to program development
Journal of Computer Science and Technology | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3956419 (Why is no real title available?) | 1986-01-01 | Paper |
A structural operational semantics for an Edison-like language
Journal of Computer Science and Technology | 1986-01-01 | Paper |
A structural operational semantics for an Edison like language. II
Journal of Computer Science and Technology | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3808935 (Why is no real title available?) | 1983-01-01 | Paper |
