activity
20202024
most citedRetrospective for the Dynamic Sensorium Competition for predicting large-scale mouse primary visual cortex activity from videos

2 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020★ 1 cited

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

Wolf De Wulf, Bart Bogaerts

Answer set programming (ASP) is a well-established knowledge representation formalism. Most ASP solvers are based on (extensions of) technology from Boolean satisfiability solving.…