| Publication | Date of Publication | Type |
|---|
Reduced meet over labelling-based semantics in abstract argumentation
Information Processing Letters | 2024-09-11 | Paper |
A general approach to extension-based semantics in abstract argumentation
Artificial Intelligence | 2023-01-04 | Paper |
Graded labellings for abstract argumentation
International Journal of Approximate Reasoning | 2022-12-08 | Paper |
| Covariant-contravariant refinement modal logic | 2022-09-28 | Paper |
The catering of controlling shareholders, investor sentiment and corporate investment efficiency
Journal of Discrete Mathematical Sciences and Cryptography | 2022-04-19 | Paper |
Encoding safety in \(\mathrm{CLL}_R\)
Theoretical Computer Science | 2021-12-01 | Paper |
Exact, Closed-Form Representations for the Time-Domain Surface Impedances of a Homogeneous, Lossy Half-Space
IEEE Transactions on Antennas and Propagation | 2017-08-25 | Paper |
On recursive operations over logic LTS
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
On the greatest solution of equations in \(\mathrm{CLL}_R\)
Information Processing Letters | 2015-07-15 | Paper |
A modal characterization of alternating approximate bisimilarity
Formal Methods in System Design | 2014-12-05 | Paper |
A behavioural pseudometric based on \(\lambda\)-bisimilarity
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
| Linear time logic control of linear systems with disturbances | 2012-12-29 | Paper |
Belief revision based on incomplete valuations
Journal of Software | 2011-02-05 | Paper |
| Similarity and equivalence of epistemic states | 2010-07-08 | Paper |
Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
Information and Computation | 2009-03-04 | Paper |
Two Representation Theorems for Non-monotonic Inference Relations
Journal Of Logic And Computation | 2007-11-19 | Paper |
An algebraic characterization of equivalent preferential models
Journal of Symbolic Logic | 2007-10-17 | Paper |
| Analysis of logical expressions of decision lists | 2006-10-13 | Paper |
A characterization theorem for injective model classes axiomatized by general rules
Theoretical Computer Science | 2006-09-14 | Paper |
Similarity between preferential models
Theoretical Computer Science | 2006-04-28 | Paper |
| scientific article; zbMATH DE number 2112436 (Why is no real title available?) | 2004-10-28 | Paper |
A representation theorem for recovering contraction relations satisfying wci
Theoretical Computer Science | 2003-01-21 | Paper |
Valuation structure
Journal of Symbolic Logic | 2003-01-13 | Paper |
Some contributions to nonmonotonic consequence
Journal of Computer Science and Technology | 2002-10-17 | Paper |
Valuation structure in finite language
Journal of Nanjing University of Aeronautics and Astronautics | 2002-03-24 | Paper |
Default reasoning and belief revision: A syntax-independent approach
Journal of Computer Science and Technology | 2001-01-25 | Paper |
| scientific article; zbMATH DE number 1174377 (Why is no real title available?) | 1998-07-14 | Paper |
Program generic set: Semantics of medium logic program described by forcing
Science in China. Series E | 1997-03-06 | Paper |
