R-Calculus, VI: Finite Injury Priority Method
portes grátis
R-Calculus, VI: Finite Injury Priority Method
Sui, Yuefei; Li, Wei
Springer Verlag, Singapore
10/2024
228
Dura
9789819758296
15 a 20 dias
Descrição não disponível.
Introduction.- Finite injury priority method.- Binary-valued first-order logic. - R-calculus for L3-valued first-order logic.- R-calculus for B2 2 -valued FOL.- R-calculus for L4-valued FOL.- Default logic: finite injury priority method.- Default logic: tree construction.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
R-calculus;Finite Injury Priority Method;Description Logics;tree construction;first-order logic (FOL)
Introduction.- Finite injury priority method.- Binary-valued first-order logic. - R-calculus for L3-valued first-order logic.- R-calculus for B2 2 -valued FOL.- R-calculus for L4-valued FOL.- Default logic: finite injury priority method.- Default logic: tree construction.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
