skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ScienceDirect (Elsevier) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Robust probabilistic temporal logics
Robust probabilistic temporal logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust probabilistic temporal logics

Zimmermann, Martin

Information processing letters, 2025-02, Vol.188, p.106522, Article 106522 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Hybrid dynamical systems logic and its refinements
Hybrid dynamical systems logic and its refinements
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid dynamical systems logic and its refinements

Platzer, André

Science of computer programming, 2025-01, Vol.239, p.103179, Article 103179 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Towards an efficient implementation of a tableau method for reactive safety specifications
Towards an efficient implementation of a tableau method for reactive safety specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards an efficient implementation of a tableau method for reactive safety specifications

Alonso, Ander ; Hermo, Montserrat ; Oca, Josu

Journal of logical and algebraic methods in programming, 2025-01, Vol.142, p.101003, Article 101003 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
4
Maude2Lean: Theorem proving for Maude specifications using Lean
Maude2Lean: Theorem proving for Maude specifications using Lean
Material Type:
Artigo 		Adicionar ao Meu Espaço

Maude2Lean: Theorem proving for Maude specifications using Lean

Rubio, Rubén ; Riesco, Adrián

Journal of logical and algebraic methods in programming, 2025-01, Vol.142, p.101005, Article 101005 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
5
Logic-oriented fuzzy neural networks: A survey
Logic-oriented fuzzy neural networks: A survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic-oriented fuzzy neural networks: A survey

Alateeq, Majed ; Pedrycz, Witold

Expert systems with applications, 2024-12, Vol.257, p.125120, Article 125120 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
6
Logic-driven, simulation-based risk engineering to ensure the sustainability of productive processes even with data scarcity
Logic-driven, simulation-based risk engineering to ensure the sustainability of productive processes even with data scarcity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic-driven, simulation-based risk engineering to ensure the sustainability of productive processes even with data scarcity

Colombo, Simone ; Ciotola, Angela ; Piazza, Laura

Expert systems with applications, 2024-12, Vol.255, p.124735, Article 124735 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Using experience classification for training non-Markovian tasks
Using experience classification for training non-Markovian tasks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using experience classification for training non-Markovian tasks

Miao, Ruixuan ; Lu, Xu ; Tian, Cong ; Yu, Bin ; Cui, Jin ; Duan, Zhenhua

Expert systems with applications, 2024-12, Vol.255, p.124649, Article 124649 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
8
Neural-symbolic temporal decision trees for multivariate time series classification
Neural-symbolic temporal decision trees for multivariate time series classification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Neural-symbolic temporal decision trees for multivariate time series classification

Pagliarini, Giovanni ; Scaboro, Simone ; Serra, Giuseppe ; Sciavicco, Guido ; Stan, Ionel Eduard

Information and computation, 2024-12, Vol.301, p.105209, Article 105209 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
9
Belief Horn merging operators: Characterization results and implementations
Belief Horn merging operators: Characterization results and implementations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Belief Horn merging operators: Characterization results and implementations

Dellunde, Pilar ; Costa, Vicent ; Rivas-Barragan, Daniel

Fuzzy sets and systems, 2024-12, Vol.497, p.109099, Article 109099 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Weighted automata and logics meet computational complexity
Weighted automata and logics meet computational complexity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Weighted automata and logics meet computational complexity

Kostolányi, Peter

Information and computation, 2024-12, Vol.301, p.105213, Article 105213 [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. Recursos Online (17.332)
  2. Revistas revisadas por pares (16.800)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (17.422)
  2. Anais de Congresso  (247)
  3. Book Chapters  (23)
  4. magazinearticle  (10)
  5. Recursos Textuais  (5)
  6. Livros  (3)
  7. Resenhas  (2)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1978  (36)
  2. 1978Até1988  (672)
  3. 1989Até1999  (2.726)
  4. 2000Até2011  (6.815)
  5. Após 2011  (7.465)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (17.706)
  2. Japonês  (980)
  3. Francês  (8)
  4. Norueguês  (5)
  5. Interlingue  (3)
  6. Chinês  (3)
  7. Alemão  (3)
  8. Russo  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.