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
Counterfactual dependency and actual causation in CP-logic and structural models: a comparison	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
Inference in the \(\mathrm{FO(C)}\) modelling language	2017-07-18	Paper
On well-founded set-inductions and locally monotone operators	2017-07-13	Paper
Erratum to: ``Splitting an operator: algebraic modularity results for logics with fixpoint semantics	2017-07-12	Paper
Splitting an operator: algebraic modularity results for logics with fixpoint semantics	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
FO(ID) as an extension of DL with rules	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 \(\exists \forall \)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
Predicate introduction for logics with a fixpoint semantics. I: Logic programming	2007-10-17	Paper
Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic	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