Zhaohui Zhu

Frontiers Comput. Sci., March, 2025

Reduced meet over labelling-based semantics in abstract argumentation.

[BibT_eX]

[DOI]

Lixing Tan

Inf. Process. Lett., 2025

2024

More on Maximally Permissive Similarity Control of Discrete Event Systems.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Analytical modeling and calculation of mechanical characteristics for few-piece main-auxiliary parabolic leaf spring with root diagonal segment.

[BibT_eX]

[DOI]

Int. J. Model. Simul. Sci. Comput., April, 2023

Graded labellings for abstract argumentation.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2023

A general approach to extension-based semantics in abstract argumentation.

[BibT_eX]

[DOI]

Lixing Tan

Artif. Intell., 2023

How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow.

[BibT_eX]

[DOI]

Proceedings of the Design, User Experience, and Usability, 2023

2022

Encoding safety in CLLR.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

A calculus for epistemic interactions.

[BibT_eX]

[DOI]

Huili Xing

CoRR, 2022

On Assisting Diagnoses of Pareidolia by Emulating Patient Behavior.

[BibT_eX]

[DOI]

Marc A. Kastner

Shin'ichi Satoh

Proceedings of the MultiMedia Modeling - 28th International Conference, 2022

2020

A3ID: An Automatic and Interpretable Implicit Interference Detection Method for Smart Home via Knowledge Graph.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2020

On graded semantics of abstract argumentation: Extension-based case.

[BibT_eX]

[DOI]

Lixing Tan

CoRR, 2020

2019

Covariant-Contravariant Refinement Modal Logic.

[BibT_eX]

[DOI]

Huili Xing

FLAP, 2019

Sedimentary Facies and Paleoenvironment Significance of Hole BZK01 in the Yangtze River Delta Plain Since Pliocene Based on Big Data Analytics.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Intelligence and Analytics, 2019

2017

Bounded Rationality, Stock Mispricing, and Corporate Investment.

[BibT_eX]

[DOI]

Wensheng Huang

J. Adv. Comput. Intell. Intell. Informatics, 2017

2015

On recursive operations over logic LTS.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLLR.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

On the greatest solution of equations in CLLR.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLLR.

[BibT_eX]

[DOI]

CoRR, 2015

2014

A modal characterization of alternating approximate bisimilarity.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Greatest solutions of equations in $\text{CLL}_R$ and its application.

[BibT_eX]

[DOI]

CoRR, 2014

A new Pansharp based method for PET/CT image fusion.

[BibT_eX]

[DOI]

Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014

2012

Merging Process Algebra and Action-based Computation Tree Logic

[BibT_eX]

[DOI]

CoRR, 2012

A control strategy algorithm for finite alternating transition systems

[BibT_eX]

[DOI]

Jianfei Yang

CoRR, 2012

A Process Calculus with Logical Operators

[BibT_eX]

[DOI]

CoRR, 2012

Satisfaction of Temporal Logic by Control Systems and Finite Abstractions.

[BibT_eX]

[DOI]

Lisong Wang

Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

2008

Characterize branching distance in terms of (eta, alpha)-bisimilarity.

[BibT_eX]

[DOI]

Inf. Comput., 2008

A Behavioural Pseudometric based on lambda-Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2007

Two Representation Theorems for Non-monotonic Inference Relations.

[BibT_eX]

[DOI]

Wenjie Xiao

J. Log. Comput., 2007

An algebraic characterization of equivalent preferential models.

[BibT_eX]

[DOI]

Rong Zhang

J. Symb. Log., 2007

A Modal Characterization of λ-Bisimilarity.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2007

An Improved Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks.

[BibT_eX]

[DOI]

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

A characterization theorem for injective model classes axiomatized by general rules.

[BibT_eX]

[DOI]

Rong Zhang

Shan Lu

Theor. Comput. Sci., 2006

Similarity between preferential models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

2003

Normal conditions for inference relations and injective models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

A representation theorem for recovering contraction relations satisfying wci.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

Valuation Structure.

[BibT_eX]

[DOI]

J. Symb. Log., 2002

2001

Some Contributions to Nonmonotonic Consequence.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

2000

Default Reasoning and Belief Revision: A Syntax-Independent Approach.

[BibT_eX]

[DOI]

Dongmo Zhang