The following pages link to Joost Vennekens (Q313141):
Displayed 38 items.
- A general framework for defining and extending actual causation using CP-logic (Q313142) (← links)
- FO(ID) as an extension of DL with rules (Q604911) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- An OpenCL implementation of a forward sampling algorithm for CP-logic (Q900368) (← links)
- Safe inductions and their applications in knowledge representation (Q1647517) (← links)
- A principled approach to defining actual causation (Q1709136) (← links)
- Explaining actual causation in terms of possible causal processes (Q2296707) (← links)
- Explaining actual causation via reasoning about actions and change (Q2296709) (← links)
- Knowledge-based support for adhesive selection (Q2694605) (← links)
- ASP for flexible payroll management (Q2694607) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- Inhibited Effects in CP-Logic (Q2938419) (← links)
- ProbLog Technology for Inference in a Probabilistic First Order Logic (Q2999210) (← links)
- Answer Set Programming’s Contributions to Classical Logic (Q3001911) (← links)
- Actual causation in CP-logic (Q3087450) (← links)
- (Q3100243) (← links)
- An approximative inference method for solving ∃∀SO satisfiability problems (Q3143568) (← links)
- CP-logic: A language of causal probabilistic events and its relation to logic programming (Q3393227) (← links)
- Representing Causal Information About a Probabilistic Process (Q3533152) (← links)
- CHR(PRISM)-based probabilistic logic learning (Q3585158) (← links)
- (Q4583947) (← links)
- Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic (Q4930774) (← links)
- An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems (Q4930775) (← links)
- Splitting an operator (Q5277764) (← links)
- Erratum to splitting an operator (Q5277772) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- (Q5282961) (← links)
- Logic Programming (Q5313184) (← links)
- Logic Programming (Q5313205) (← links)
- A Tarskian Informal Semantics for Answer Set Programming (Q5398066) (← links)
- (Q5422271) (← links)
- (Q5422272) (← links)
- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions (Q5425400) (← links)
- Predicate Introduction Under Stable and Well-Founded Semantics (Q5449604) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473981) (← links)
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646) (← links)
- FOLASP<i>: FO(·) as Input Language for Answer Set Solvers</i> (Q6063868) (← links)