Joost Vennekens

Available identifiers

zbMath Open vennekens.joostMaRDI QIDQ313141

List of research outcomes

Publication	Date of Publication	Type
FOLASP: FO(·) as Input Language for Answer Set Solvers	2023-12-12	Paper
Knowledge-based support for adhesive selection	2023-04-04	Paper
ASP for flexible payroll management	2023-04-04	Paper
Explaining actual causation in terms of possible causal processes	2020-02-18	Paper
Explaining actual causation via reasoning about actions and change	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4583947	2018-08-29	Paper
Safe inductions and their applications in knowledge representation	2018-06-26	Paper
A principled approach to defining actual causation	2018-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q5282961	2017-07-18	Paper
On Well-Founded Set-Inductions and Locally Monotone Operators	2017-07-13	Paper
Erratum to splitting an operator	2017-07-12	Paper
Splitting an operator	2017-07-12	Paper
A general framework for defining and extending actual causation using CP-logic	2016-09-09	Paper
An OpenCL implementation of a forward sampling algorithm for CP-logic	2015-12-22	Paper
Grounded fixpoints and their applications in knowledge representation	2015-11-18	Paper
Inhibited Effects in CP-Logic	2015-01-14	Paper
Simulating Dynamic Systems Using Linear Time Calculus Theories	2014-11-25	Paper
A Tarskian Informal Semantics for Answer Set Programming	2014-02-25	Paper
An approximative inference method for solving ∃∀SO satisfiability problems	2012-12-03	Paper
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3100243	2011-11-23	Paper
Actual causation in CP-logic	2011-08-16	Paper
Answer Set Programming’s Contributions to Classical Logic	2011-05-19	Paper
ProbLog Technology for Inference in a Probabilistic First Order Logic	2011-05-11	Paper
FO(ID) as an extension of DL with rules	2010-11-12	Paper
Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic	2010-10-01	Paper
An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems	2010-10-01	Paper
CHR(PRISM)-based probabilistic logic learning	2010-08-19	Paper
CP-logic: A language of causal probabilistic events and its relation to logic programming	2009-08-19	Paper
Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic	2009-01-22	Paper
Representing Causal Information About a Probabilistic Process	2008-10-30	Paper
Predicate Introduction Under Stable and Well-Founded Semantics	2008-03-11	Paper
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions	2007-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5422271	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422272	2007-10-17	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Logic Programming	2005-08-26	Paper
Logic Programming	2005-08-26	Paper

Research outcomes over time

This page was built for person: Joost Vennekens