92 citations · 252 across the 18 of their papers we have counts for
3 papers · 1 filter
From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve +1
This survey explores the integration of learning and reasoning in two different fields of artificial intelligence: neurosymbolic and statistical relational artificial intelligence.…
Lifted Model Checking for Relational MDPs
Wen-Chi Yang, Jean-François Raskin, Luc De Raedt
Probabilistic model checking has been developed for verifying systems that have stochastic and nondeterministic behavior. Given a probabilistic system, a probabilistic model checke…
Automating Data Science: Prospects and Challenges
Tijl De Bie, Luc De Raedt, José Hernández-Orallo +3
Given the complexity of typical data science projects and the associated demand for human expertise, automation has the potential to transform the data science process. Key insight…