1
2
Assuntos:
“...Non-monotonic Reasoning...”
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados.
Dissertação
3
Assuntos:
“...[en] NON-MONOTONIC REASONING...”
[en] LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC
Tese