R-Calculus, VI: Finite Injury Priority Method
portes grátis
R-Calculus, VI: Finite Injury Priority Method
Li, Wei; Sui, Yuefei
Springer Verlag, Singapore
11/2024
228
Dura
9789819758296
Pré-lançamento - envio 15 a 20 dias após a sua edição
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.
