skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Elsevier ScienceDirect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules
Material Type:
Artigo 		Adicionar ao Meu Espaço

Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules

Echenim, Mnacho ; Iosif, Radu ; Peltier, Nicolas

Information processing letters, 2022-01, Vol.173 [Periódico revisado por pares]

Elsevier

Texto completo disponível

Citações Citado por
2
Graded modalities in Strategy Logic
Graded modalities in Strategy Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graded modalities in Strategy Logic

Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha

Information and computation, 2018-08, Vol.261, p.634-649 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
3
A map of dependencies among three-valued logics
A map of dependencies among three-valued logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

A map of dependencies among three-valued logics

Ciucci, D. ; Dubois, D.

Information sciences, 2013-11, Vol.250, p.162-177 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
4
Extensional proofs in a propositional logic modulo isomorphisms
Extensional proofs in a propositional logic modulo isomorphisms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extensional proofs in a propositional logic modulo isomorphisms

Díaz-Caro, Alejandro ; Dowek, Gilles

Theoretical computer science, 2023-10, Vol.977, p.114172, Article 114172 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty

Dubois, Didier ; Prade, Henri ; Schockaert, Steven

Artificial intelligence, 2017-11, Vol.252, p.139-174 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Bijections between planar maps and planar linear normal λ-terms with connectivity condition
Bijections between planar maps and planar linear normal λ-terms with connectivity condition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bijections between planar maps and planar linear normal λ-terms with connectivity condition

Fang, Wenjie

Advances in applied mathematics, 2023-07, Vol.148, p.102532, Article 102532 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
7
Interval iteration algorithm for MDPs and IMDPs
Interval iteration algorithm for MDPs and IMDPs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interval iteration algorithm for MDPs and IMDPs

Haddad, Serge ; Monmege, Benjamin

Theoretical computer science, 2018-07, Vol.735, p.111-131 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Qualitative reasoning in a two-layered framework
Qualitative reasoning in a two-layered framework
Material Type:
Artigo 		Adicionar ao Meu Espaço

Qualitative reasoning in a two-layered framework

Bílková, Marta ; Frittella, Sabine ; Kozhemiachenko, Daniil ; Majer, Ondrej

International journal of approximate reasoning, 2023-03, Vol.154, p.84-108 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
9
The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks
The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks
Material Type:
Artigo 		Adicionar ao Meu Espaço

The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks

Dubois, Didier ; Liu, Weiru ; Ma, Jianbing ; Prade, Henri

Information fusion, 2016-11, Vol.32, p.12-39 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Refinement modal logic
Refinement modal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Refinement modal logic

Bozzelli, Laura ; van Ditmarsch, Hans ; French, Tim ; Hales, James ; Pinchinat, Sophie

Information and computation, 2014-12, Vol.239, p.303-339 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (46.515)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (50.342)
  2. magazinearticle  (268)
  3. Resenhas  (215)
  4. Anais de Congresso  (198)
  5. Book Chapters  (164)
  6. Livros  (10)
  7. Recursos Textuais  (8)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1970  (68)
  2. 1970Até1982  (694)
  3. 1983Até1995  (5.959)
  4. 1996Até2009  (18.974)
  5. Após 2009  (25.527)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (51.054)
  2. Japonês  (3.168)
  3. Espanhol  (138)
  4. Português  (74)
  5. Francês  (30)
  6. Chinês  (24)
  7. Russo  (22)
  8. Alemão  (18)
  9. Norueguês  (11)
  10. Africâner  (5)
  11. Catalão  (3)
  12. Interlingue  (3)
  13. Persa  (2)
  14. Árabe  (1)
  15. Polonês  (1)
  16. Coreano  (1)
  17. Holandês  (1)
  18. Galês  (1)
  19. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.