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
Extending EL++ with linear constraints on the probability of axioms
Extending EL++ with linear constraints on the probability of axioms
Material Type:
Livro 		Adicionar ao Meu Espaço

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

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

2
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006

Amsterdam Elsevier 2006

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

3
Temporal logic mathematical foundations and computational aspects
Temporal logic mathematical foundations and computational aspects
Material Type:
Livro 		Adicionar ao Meu Espaço

Temporal logic mathematical foundations and computational aspects

Dov M. Gabbay 1945- Ian Hodkinson; Mark Reynolds (Mark A.); Marcelo Finger

Oxford Clarendon Press New York Oxford University Press 1994-2000

Localização: IME - Inst. Matemática e Estatística    (QA860 G112t v.2 e.1 )(Acessar)

4
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards polynomial approximations of full propositional logic

Marcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

5
Polynomial approximations of full propositional logic via limited bivalence
Polynomial approximations of full propositional logic via limited bivalence
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Polynomial approximations of full propositional logic via limited bivalence

Marcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

6
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)

7
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)

8
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability

Sandro Preto Marcelo Finger

Mathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022

Cambridge 2022

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

9
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo José da Silva e Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

10
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo J. S Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (16)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2002  (2)
  2. 2002Até2003  (2)
  3. 2004Até2008  (5)
  4. 2009Até2012  (4)
  5. Após 2012  (4)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Preto, S
  3. Wassermann, R
  4. Workshop on Logic, L
  5. Damas, L

Neste Assunto:

  1. Inteligência Artificial
  2. Lógica
  3. Lógica Matemática
  4. Raciocínio Probabilístico
  5. Lógica Formal

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

Buscando em bases de dados remotas. Favor aguardar.