skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Finger, M remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Generalized probabilistic satisfiability
Generalized probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Generalized probabilistic satisfiability

Glauber De Bona 1984- Fabio Gagliardi Cozman 1967-; Marcelo Finger; Brazilian Conference on Intelligent Systems - BRACIS (2013 Fortaleza, CE)

Proceeding Piscataway : IEEE, 2013

Piscataway IEEE 2013

Localização: IME - Inst. Matemática e Estatística    (PROD-3009309 )(Acessar)

2
Satisfiability in EL with sets of probabilistic ABoxes
Satisfiability in EL with sets of probabilistic ABoxes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Satisfiability in EL with sets of probabilistic ABoxes

Marcelo Finger Renata Wassermann; Fabio Gagliardi Cozman 1967-; International Workshop on Description Logics - DL (24. 2011 Barcelona, Spain)

CEUR Workshop Proceedings Aachen v. 745, p. 1-11, 2011

Aachen 2011

Acesso online. A biblioteca também possui exemplares impressos.

3
Using abduction to compute efficient proofs
Using abduction to compute efficient proofs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using abduction to compute efficient proofs

Marcelo Finger Workshop on Logical and Semantic Frameworks, with Applications - LSFA (3. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 247, p. 39-49, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3009321 )(Acessar)

4
Towards an efficient prover for the C1 paraconsistent logic
Towards an efficient prover for the C1 paraconsistent logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3009319 )(Acessar)

5
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

Localização: IME - Inst. Matemática e Estatística    (PROD-3013847 )(Acessar)

6
A logic based algorithm for solving probabilistic satisfiability
A logic based algorithm for solving probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A logic based algorithm for solving probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. 2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-3009310 )(Acessar)

7
Proving properties of binary classification neural networks via Łukasiewicz logic
Proving properties of binary classification neural networks via Łukasiewicz logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving properties of binary classification neural networks via Łukasiewicz logic

Sandro Preto Marcelo Finger

Logic Journal of the IGPL Oxford v. 31, n. 5, p. 805-821, 2023

Oxford 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3082021 )(Acessar)

8
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Semantics modulo satisfiability with applications: function representation, probabilities and game theory

Preto, Sandro Márcio Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-06-04

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (7)
  2. Produções Acadêmicas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2010  (2)
  2. 2010Até2010  (1)
  3. 2011Até2012  (1)
  4. 2013Até2020  (2)
  5. Após 2020  (2)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.