Zhaohui Zhu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Reduced meet over labelling-based semantics in abstract argumentation	2024-09-11	Paper
A general approach to extension-based semantics in abstract argumentation	2023-01-04	Paper
Graded labellings for abstract argumentation	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5869591	2022-09-28	Paper
The catering of controlling shareholders, investor sentiment and corporate investment efficiency	2022-04-19	Paper
Encoding safety in \(\mathrm{CLL}_R\)	2021-12-01	Paper
Exact, Closed-Form Representations for the Time-Domain Surface Impedances of a Homogeneous, Lossy Half-Space	2017-08-25	Paper
On recursive operations over logic LTS	2016-07-27	Paper
On the greatest solution of equations in \(\mathrm{CLL}_R\)	2015-07-15	Paper
A modal characterization of alternating approximate bisimilarity	2014-12-05	Paper
A Behavioural Pseudometric based on λ–Bisimilarity	2014-05-13	Paper
Linear time logic control of linear systems with disturbances	2012-12-29	Paper
Belief Revision Based on Incomplete Valuations	2011-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3571767	2010-07-08	Paper
Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity	2009-03-04	Paper
Two Representation Theorems for Non-monotonic Inference Relations	2007-11-19	Paper
An algebraic characterization of equivalent preferential models	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5492167	2006-10-13	Paper
A characterization theorem for injective model classes axiomatized by general rules	2006-09-14	Paper
Similarity between preferential models	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4823944	2004-10-28	Paper
A representation theorem for recovering contraction relations satisfying wci	2003-01-21	Paper
Valuation structure	2003-01-13	Paper
Some contributions to nonmonotonic consequence	2002-10-17	Paper
Valuation structure in finite language	2002-03-24	Paper
Default reasoning and belief revision: A syntax-independent approach	2001-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4397804	1998-07-14	Paper
Program generic set: Semantics of medium logic program described by forcing	1997-03-06	Paper

Research outcomes over time

This page was built for person: Zhaohui Zhu