skip to main content
Idioma:
Refinado por: tipo de recurso: Outros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
DeepStochLog: Neural Stochastic Logic Programming (Extended Abstract)
DeepStochLog: Neural Stochastic Logic Programming (Extended Abstract)
Material Type:
Outros 		Adicionar ao Meu Espaço

DeepStochLog: Neural Stochastic Logic Programming (Extended Abstract)

Winters, Thomas ; Marra, Giuseppe ; Manhaeve, Robin ; De Raedt, Luc

OPEN PUBL ASSOC 2021

Texto completo disponível

Citações Citado por
2
A Temporal Differential Dynamic Logic Formal Embedding
A Temporal Differential Dynamic Logic Formal Embedding
Material Type:
Outros 		Adicionar ao Meu Espaço

A Temporal Differential Dynamic Logic Formal Embedding

White, Lauren M. ; Titolo, Laura ; Slagel, J. Tanner ; Muñoz, César

Langley Research Center

Texto completo disponível

Citações Citado por
3
Embedding Differential Dynamic Logic in PVS
Embedding Differential Dynamic Logic in PVS
Material Type:
Outros 		Adicionar ao Meu Espaço

Embedding Differential Dynamic Logic in PVS

Slagel, J. Tanner ; Moscato, Mariano ; White, Lauren ; Munoz, Cesar ; Balachandran, Swee ; Dutle, Aaron

Langley Research Center

Texto completo disponível

Citações Citado por
4
Seeing is Believing: Monitoring Future Time Temporal Logic
Seeing is Believing: Monitoring Future Time Temporal Logic
Material Type:
Outros 		Adicionar ao Meu Espaço

Seeing is Believing: Monitoring Future Time Temporal Logic

Fan, Max

Ames Research Center

Texto completo disponível

Citações Citado por
5
Towards an Implementation of Differential Dynamic Logic in PVS
Towards an Implementation of Differential Dynamic Logic in PVS
Material Type:
Outros 		Adicionar ao Meu Espaço

Towards an Implementation of Differential Dynamic Logic in PVS

Slagel, J. Tanner ; Muñoz, César ; Balachandran, Swee ; Moscato, Mariano ; Dutle, Aaron ; Masci, Paolo ; White, Lauren

Langley Research Center

Texto completo disponível

Citações Citado por
6
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
Material Type:
Outros 		Adicionar ao Meu Espaço

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

Mavridou, Anastasia ; Katis, Andreas ; Pressburger, Thomas ; Trinh, Khanh V. ; Tournier, Jean-Charles ; Bes, Marcin ; Viñuela, Enrique Blanco

Ames Research Center

Texto completo disponível

Citações Citado por
7
FOLL-E: Teaching First Order Logic to Children (Extended Abstract)
FOLL-E: Teaching First Order Logic to Children (Extended Abstract)
Material Type:
Outros 		Adicionar ao Meu Espaço

FOLL-E: Teaching First Order Logic to Children (Extended Abstract)

Vandevelde, Simon ; Vennekens, joost

OPEN PUBL ASSOC 2023

Texto completo disponível

Citações Citado por
8
Inference and learning with model uncertainty in probabilistic logic programs
Inference and learning with model uncertainty in probabilistic logic programs
Material Type:
Outros 		Adicionar ao Meu Espaço

Inference and learning with model uncertainty in probabilistic logic programs

Verreet, Victor ; Derkinderen, Vincent ; Zuidberg Dos Martires, Pedro ; De Raedt, Luc

OPEN PUBL ASSOC 2022

Texto completo disponível

Citações Citado por
9
Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems
Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems
Material Type:
Outros 		Adicionar ao Meu Espaço

Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems

Bourbouh, Hamza

Ames Research Center 2019

Texto completo disponível

Citações Citado por
10
An Innovative Infrastructure with a Universal Geo-Spatiotemporal Data Representation Supporting Cost-Effective Integration of Diverse Earth Science Data
An Innovative Infrastructure with a Universal Geo-Spatiotemporal Data Representation Supporting Cost-Effective Integration of Diverse Earth Science Data
Material Type:
Outros 		Adicionar ao Meu Espaço

An Innovative Infrastructure with a Universal Geo-Spatiotemporal Data Representation Supporting Cost-Effective Integration of Diverse Earth Science Data

Rilee, Michael Lee ; Kuo, Kwo-Sen

Goddard Space Flight Center 2017

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.