skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Finger, M remover Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Entailment multipliers an algebraic characterization of validity for classical and modal logics

Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

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

3
Comparing two Markov methods for part-of-speech tagging of portuguese
Comparing two Markov methods for part-of-speech tagging of portuguese
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Comparing two Markov methods for part-of-speech tagging of portuguese

Fábio Natanael Kepler Marcelo Finger; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto)

Proceedings Berlin : Springer, 2006

Berlin Springer 2006

Localização: IME - Inst. Matemática e Estatística    (PROD-1584416 ) e outros locais(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
A refuted conjecture on probabilistic satisfiability
A refuted conjecture on probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A refuted conjecture on probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

6
Classical and quantum satisfiability
Classical and quantum satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Classical and quantum satisfiability

Anderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)

Proceedings Sydney : EPTCS, 2012

Sydney EPTCS 2012

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

7
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic

Marcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

8
Sharing resource-sensitive knowledge using combinator logics
Sharing resource-sensitive knowledge using combinator logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Sharing resource-sensitive knowledge using combinator logics

Marcelo Finger Wamberto Vasconcelos; Ibero-American Conference on Artificial Intelligence - IBERAMIA (7. 2000 Atibaia, SP); Brazilian Symposium on Artificial Intelligence - SBIA (15. 2000 Atibaia, SP)

Proceedings Berlin : Springer, 2000

Berlin Springer 2000

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

9
Revising specifications with CTL properties using bounded model checking
Revising specifications with CTL properties using bounded model checking
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising specifications with CTL properties using bounded model checking

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

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

10
Logics for approximate reasoning approximating classical logic “from above”
Logics for approximate reasoning approximating classical logic “from above”
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Logics for approximate reasoning approximating classical logic “from above”

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (16. 2002 Porto de Galinhas, Recife, BR)

Proceedings Berlin : Springer, 2002

Berlin Springer 2002

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de2002  (2)
  2. 2002Até2005  (3)
  3. 2006Até2009  (3)
  4. 2010Até2018  (5)
  5. Após 2018  (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.