Login / Signup
Lanxi Hu
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Computing Least Common Subsumers
Concept Descriptions
Dl Lite
Tableau Calculus
Top Venues
FSDM
Frontiers Comput. Sci.
</>
Publications
</>
Cungen Cao
,
Lanxi Hu
,
Yuefei Sui
R-Calculus for Post Three-Valued Description Logic.
FSDM
(2021)
Cungen Cao
,
Lanxi Hu
,
Yuefei Sui
Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic.
Frontiers Comput. Sci.
15 (1) (2021)