Combining clause learning and resolution for multimodal reasoning
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Automated Reasoning
-
Modal Logics
-
RESOLUTION METHOD
-
SAT
-
SAT solver
-
clause learning
-
combining proof methods
-
modal logics
-
resolution
Identidade
identificador BrCris
-
a4956b93ae7c9e824b375fb73c2d13fb
identificador Capes
identificador Oasisbr
-
UNB_086f60c7a98139b5a2191cdb7d721eff