|
[1]
|
R-Calculi for Post -Valued DL
|
|
R-Calculus, V: Description Logics,
2024 |
|
|
|
|
[2]
|
R-Calculus for Post Three-Valued DL
|
|
R-Calculus, V: Description Logics,
2024 |
|
|
|
|
[3]
|
R-Calculus for Binary-Valued DL
|
|
R-Calculus, V: Description Logics,
2024 |
|
|
|
|
[4]
|
R-Calculus for Simplified Propositional Logics
|
|
R-Calculus, IV: Propositional Logic,
2023 |
|
|
|
|
[5]
|
R-Calculi for-Propositional Logic
|
|
R-Calculus, IV: Propositional Logic,
2023 |
|
|
|
|
[6]
|
R-Calculus for Description Logic
|
|
R-Calculus, II: Many-Valued Logics,
2022 |
|
|
|
|
[7]
|
R-Calculus, II: Many-Valued Logics
|
|
2022 |
|
|
|
|
[8]
|
R-Calculus for PL
|
|
R-Calculus, II: Many-Valued Logics,
2022 |
|
|
|
|
[9]
|
R-Calculi for Propositional Logic
|
|
R-CALCULUS: A Logic of Belief Revision,
2021 |
|
|
|
|
[10]
|
R-Calculus for Post Three-Valued Description Logic1
|
|
2021 |
|
|
|
|
[11]
|
R-Calculus for Post Three-Valued Description Logic.
|
|
FSDM,
2021 |
|
|
|
|
[12]
|
Knowledge Science, Engineering and Management
|
|
KSEM: International Conference on Knowledge Science, Engineering and Management,
2017 |
|
|
|
|
[13]
|
R-Calculus for the Primitive Statements in Description Logic\mathcal {ALC}
|
|
Knowledge Science, Engineering and Management,
2017 |
|
|
|
|
[14]
|
3.1 Post Three-Valued DL
|
|
R-Calculus
|
|
|
|
|
[15]
|
1.7 R-Calculus for Undecidable DL
|
|
R-Calculus
|
|
|
|