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: ROAD: Directory of Open Access Scholarly Resources remover assunto: Neural Networks remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
TLINet: Differentiable Neural Network Temporal Logic Inference
TLINet: Differentiable Neural Network Temporal Logic Inference
Material Type:
Artigo 		Adicionar ao Meu Espaço

TLINet: Differentiable Neural Network Temporal Logic Inference

Li, Danyang ; Cai, Mingyu ; Cristian-Ioan Vasile ; Tron, Roberto

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Taming Differentiable Logics with Coq Formalisation
Taming Differentiable Logics with Coq Formalisation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Taming Differentiable Logics with Coq Formalisation

Affeldt, Reynald ; Bruni, Alessandro ; Komendantskaya, Ekaterina ; Ślusarz, Natalia ; Stark, Kathrin

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

Ślusarz, Natalia ; Komendantskaya, Ekaterina ; Daggitt, Matthew L ; Stewart, Robert ; Stark, Kathrin

arXiv.org, 2023-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Logic for Explainable AI
Logic for Explainable AI
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic for Explainable AI

Darwiche, Adnan

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Wu, Haoze ; Isac, Omri ; Zeljić, Aleksandar ; Tagomori, Teruhiro ; Daggitt, Matthew ; Kokke, Wen ; Refaeli, Idan ; Guy, Amir ; Kyle, Julian ; Bassan, Shahaf ; Huang, Pei ; Lahav, Ori ; Wu, Min ; Zhang, Min ; Komendantskaya, Ekaterina ; Katz, Guy ; Barrett, Clark

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach

Meli, Daniele ; Castellini, Alberto ; Farinelli, Alessandro

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques
Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques
Material Type:
Artigo 		Adicionar ao Meu Espaço

Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques

Rafanelli, Andrea

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Teuber, Samuel ; Mitsch, Stefan ; Platzer, André

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality
Material Type:
Artigo 		Adicionar ao Meu Espaço

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

Alviano, Mario ; Bartoli, Francesco ; Botta, Marco ; Esposito, Roberto ; Giordano, Laura ; Daniele Theseider Dupré

arXiv.org, 2023-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Safe Reach Set Computation via Neural Barrier Certificates
Safe Reach Set Computation via Neural Barrier Certificates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Safe Reach Set Computation via Neural Barrier Certificates

Abate, Alessandro ; Bogomolov, Sergiy ; Edwards, Alec ; Potomkin, Kostiantyn ; Soudjani, Sadegh ; Zuliani, Paolo

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (12.109)
  2. Anais de Congresso  (37)
  3. Resenhas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (11)
  2. 2002Até2006  (22)
  3. 2007Até2011  (238)
  4. 2012Até2017  (1.579)
  5. Após 2017  (10.298)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (12.137)
  2. Japonês  (414)
  3. Português  (23)
  4. Francês  (18)
  5. Espanhol  (15)
  6. Alemão  (6)
  7. Croatian  (6)
  8. Polonês  (5)
  9. Norueguês  (5)
  10. Ucraniano  (4)
  11. Russo  (2)
  12. Italiano  (1)
  13. Eslovaco  (1)
  14. Tcheco  (1)
  15. Mais opções open sub menu

Nome da Publicação 

  1. Applied Sciences  (1.038)
  2. arXiv.org  (934)
  3. Sensors  (860)
  4. Electronics  (778)
  5. Energies  (557)
  6. Mathematical Problems In Engineering  (525)
  7. Arxiv  (478)
  8. Ieee Access  (470)
  9. Plos One  (436)
  10. Mathematics  (407)
  11. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.