ReP USP - Resultado da busca

Artigo de periodico-carta/editorial
Special issue CISIS13-IGPL [Editorial] (2016)
Herrero, Álvaro; Baruque, Bruno; Abraham, Ajith; Carvalho, André Carlos Ponce de Leon Ferreira de ; Bringas, Pablo García; Quintián, Héctor; Corchado, Emilio
Fonte: Logic Journal of the IGPL. Nome do evento: International Conference on Computational Intelligence in Security for Information Systems - CISIS. Unidade: ICMC
Assuntos: INTELIGÊNCIA ARTIFICIAL, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERRERO, Álvaro et al. Special issue CISIS13-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/jigpal/jzv040. Acesso em: 15 nov. 2025. , 2016
APA
Herrero, Á., Baruque, B., Abraham, A., Carvalho, A. C. P. de L. F. de, Bringas, P. G., Quintián, H., & Corchado, E. (2016). Special issue CISIS13-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1093/jigpal/jzv040
NLM
Herrero Á, Baruque B, Abraham A, Carvalho ACP de LF de, Bringas PG, Quintián H, Corchado E. Special issue CISIS13-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2016 ; 24( 1): 1-3.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzv040
Vancouver
Herrero Á, Baruque B, Abraham A, Carvalho ACP de LF de, Bringas PG, Quintián H, Corchado E. Special issue CISIS13-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2016 ; 24( 1): 1-3.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzv040
Artigo de periodico-carta/editorial
Special issue HAIS12-IGPL [Editorial] (2015)
Quintián, Héctor; Corchado, Emilio; Carvalho, André Carlos Ponce de Leon Ferreira de ; Abraham, Ajith; Wozniak, Michal; Graña, Manuel; Sung-Bae, Cho
Fonte: Logic Journal of the IGPL. Nome do evento: International Conference on Hybrid Artificial Intelligent Systems - HAIS. Unidade: ICMC
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
QUINTIÁN, Héctor et al. Special issue HAIS12-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/jigpal/jzv010. Acesso em: 15 nov. 2025. , 2015
APA
Quintián, H., Corchado, E., Carvalho, A. C. P. de L. F. de, Abraham, A., Wozniak, M., Graña, M., & Sung-Bae, C. (2015). Special issue HAIS12-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1093/jigpal/jzv010
NLM
Quintián H, Corchado E, Carvalho ACP de LF de, Abraham A, Wozniak M, Graña M, Sung-Bae C. Special issue HAIS12-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2015 ; 23( 3): 1-4.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzv010
Vancouver
Quintián H, Corchado E, Carvalho ACP de LF de, Abraham A, Wozniak M, Graña M, Sung-Bae C. Special issue HAIS12-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2015 ; 23( 3): 1-4.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzv010
Artigo de periodico
Logical consistency in simultaneous statistical test procedures (2015)
Izbicki, Rafael; Esteves, Luis Gustavo
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: ESTATÍSTICA, INFERÊNCIA PARAMÉTRICA, TESTES DE HIPÓTESES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IZBICKI, Rafael e ESTEVES, Luis Gustavo. Logical consistency in simultaneous statistical test procedures. Logic Journal of the IGPL, v. 23, n. 5, p. 732-758, 2015Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzv027. Acesso em: 15 nov. 2025.
APA
Izbicki, R., & Esteves, L. G. (2015). Logical consistency in simultaneous statistical test procedures. Logic Journal of the IGPL, 23( 5), 732-758. doi:10.1093/jigpal/jzv027
NLM
Izbicki R, Esteves LG. Logical consistency in simultaneous statistical test procedures [Internet]. Logic Journal of the IGPL. 2015 ; 23( 5): 732-758.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzv027
Vancouver
Izbicki R, Esteves LG. Logical consistency in simultaneous statistical test procedures [Internet]. Logic Journal of the IGPL. 2015 ; 23( 5): 732-758.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzv027
Artigo de periodico
Completeness for cut-based abduction (2014)
Arruda, Alexandre Matos; Finger, Marcelo
Fonte: Logic Journal of the IGPL. Nome do evento: Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos e FINGER, Marcelo. Completeness for cut-based abduction. Logic Journal of the IGPL, v. 22, n. 2, p. 286-296, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt028. Acesso em: 15 nov. 2025.
APA
Arruda, A. M., & Finger, M. (2014). Completeness for cut-based abduction. Logic Journal of the IGPL, 22( 2), 286-296. doi:10.1093/jigpal/jzt028
NLM
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Vancouver
Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzt028
Artigo de periodico
Bayesian epistemic values: focus on surprise, measure probability (2014)
Stern, Julio Michael ; Pereira, Carlos Alberto de Bragança
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: INFERÊNCIA BAYESIANA, PROBABILIDADE, ESTATÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael e PEREIRA, Carlos Alberto de Bragança. Bayesian epistemic values: focus on surprise, measure probability. Logic Journal of the IGPL, v. 22, n. 2, p. 236-254, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt023. Acesso em: 15 nov. 2025.
APA
Stern, J. M., & Pereira, C. A. de B. (2014). Bayesian epistemic values: focus on surprise, measure probability. Logic Journal of the IGPL, 22( 2), 236-254. doi:10.1093/jigpal/jzt023
NLM
Stern JM, Pereira CA de B. Bayesian epistemic values: focus on surprise, measure probability [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 236-254.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzt023
Vancouver
Stern JM, Pereira CA de B. Bayesian epistemic values: focus on surprise, measure probability [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 236-254.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzt023
Artigo de periodico
Towards automated first-order abduction: the cut-based approach (2012)
Finger, Marcelo
Fonte: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA DE PRIMEIRA ORDEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, v. 20, n. 2, p. 370-387, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq052. Acesso em: 15 nov. 2025.
APA
Finger, M. (2012). Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, 20( 2), 370-387. doi:10.1093/jigpal/jzq052
NLM
Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzq052
Vancouver
Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzq052
Artigo de periodico
Labelled natural deduction for substructural logics (1999)
Broda, Krysia; Finger, Marcelo ; Russo, Alessandra
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRODA, Krysia e FINGER, Marcelo e RUSSO, Alessandra. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999Tradução . . Disponível em: https://doi.org/10.1093/jigpal/7.3.283. Acesso em: 15 nov. 2025.
APA
Broda, K., Finger, M., & Russo, A. (1999). Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7( 3), 283-318. doi:10.1093/jigpal/7.3.283
NLM
Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
Vancouver
Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/7.3.283

Unidades USP

ReP

Filtros

Autores

Assuntos

Indexado em

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos