Concepedia

Joost Vennekens

JV

25

Publications

672

Citations

18

H-Index

2006

Active since

Affiliations

KU Leuven(Current)

Politecnico di Milano

European Space Research and Technology Centre

Cornell University

Innovative Solution In Space (Netherlands)

Joost Vennekens is an author at KU Leuven specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsFormal VerificationLogic ProgrammingSoftware EngineeringEducationTechnology

Publications per year

2006–2022

25

Publications

25

CP-logic: A language of causal probabilistic events and its relation to logic programming

Joost Vennekens, Marc Denecker, Maurice Bruynooghe · Theory and Practice of Logic Programming · 2009 · 115 citations · Full text

Computational Logic, Probabilistic Ontology, Probability Logic +14

Splitting an operator

Joost Vennekens, David Gilis, Marc Denecker · ACM Transactions on Computational Logic · 2006 · 40 citations · Full text

Spectral Theory, Engineering, Norm (Mathematics) +17

A principled approach to defining actual causation

Sander Beckers, Joost Vennekens · Synthese · 2016 · 40 citations · Full text

Automated Reasoning, Law, Epistemology +6

LUMIO: A CubeSat for observing and characterizing micro-meteoroid impacts on the Lunar far side

Angelo Cervone, Francesco Topputo, Stefano Speretta et al. · Acta Astronautica · 2022 · 40 citations · Full text

Towards digesting the alphabet-soup of statistical relational learning

Luc De Raedt, Bart Demoen, Daan Fierens et al. · Lirias (KU Leuven) · 2008 · 37 citations · Full text

Rows per page

1–5 of 25