Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Outros
|
Inference and learning with model uncertainty in probabilistic logic programsVerreet, Victor ; Derkinderen, Vincent ; Zuidberg Dos Martires, Pedro ; De Raedt, LucElectronic Proceedings in Theoretical Computer Science, 2022, Vol.364, p.153-155Open Publishing AssociationTexto completo disponível |
|
2 |
Material Type: Outros
|
FOLL-E: Teaching First Order Logic to Children (Extended Abstract)Vandevelde, Simon ; Vennekens, joostOPEN PUBL ASSOC 2023Texto completo disponível |
|
3 |
Material Type: Outros
|
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning (Extended Abstract)Vandevelde, Simon ; Aerts, Bram ; Vennekens, JoostOPEN PUBL ASSOC 2023Texto completo disponível |
|
4 |
Material Type: Outros
|
Sikkel: Multimode Simple Type Theory as an Agda LibraryCeulemans, Joris ; Nuyts, Andreas ; Devriese, DominiqueOPEN PUBL ASSOC 2022Texto completo disponível |