Joost Vennekens

Christian Fleiner

Proceedings of the International Conference on Human-Agent Interaction, 2023

FOLL-E: Teaching First Order Logic to Children.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Identifying Non-Technical Skill Gaps in Software Engineering Education: What Experts Expect But Students Don't Learn.

[BibT_eX]

[DOI]

Kris Aerts

ACM Trans. Comput. Educ., 2022

Knowledge-based decision support for machine component design: A case study.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2022

IDP-Z3: a reasoning engine for FO(.).

[BibT_eX]

[DOI]

CoRR, 2022

Problife: a Probabilistic Game of Life.

[BibT_eX]

[DOI]

CoRR, 2022

Compressing Word Embeddings Using Syllables.

[BibT_eX]

[DOI]

Laurent Mertens

CoRR, 2022

Interactive feature modeling with background knowledge for validation and configuration.

[BibT_eX]

[DOI]

Benjamin Callewaert

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

How Creatively Are We Teaching and Assessing Creativity in Computing Education: A Systematic Literature Review.

[BibT_eX]

[DOI]

Brett A. Becker

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

On the Semantics of "null" in DMN: Undefined is not Unknown.

[BibT_eX]

[DOI]

Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022

Knowledge-Based Support for Adhesive Selection.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

ASP for Flexible Payroll Management.

[BibT_eX]

[DOI]

Benjamin Callewaert

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study.

[BibT_eX]

[DOI]

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

Context-Aware Verification of DMN.

[BibT_eX]

[DOI]

Benjamin Callewaert

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021

as Input Language for Answer Set Solvers.

[BibT_eX]

[DOI]

Kylian Van Dessel

Jo Devriendt

Theory Pract. Log. Program., 2021

Introduction to the 37th International Conference on Logic Programming Special Issue II.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Introduction to the 37th International Conference on Logic Programming Special Issue I.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

A Table-Based Representation for Probabilistic Logic: Preliminary Results.

[BibT_eX]

[DOI]

CoRR, 2021

FOLASP: FO(.) as Input Language for Answer Ser Solvers.

[BibT_eX]

[DOI]

Kylian Van Dessel

Jo Devriendt

CoRR, 2021

Leveraging the Power of IDP with the Flexibility of DMN: A Multifunctional API.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Combining Logic and Natural Language Processing to Support Investment Management.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Exploring the Role of Creativity in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, 2021

A Logic-based Multiagent Product Configuration Model.

[BibT_eX]

[DOI]

Emad Eldeen Elakehal

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time.

[BibT_eX]

[DOI]

Kris Aerts

CoRR, 2020

Non-cognitive Abilities of Exceptional Software Engineers: A Delphi Study.

[BibT_eX]

[DOI]

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Service-Learning for Web Technology: Observations from a Small Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

Soft Skills: What do Computing Program Syllabi Reveal About Non-Technical Expectations of Undergraduate Students?

[BibT_eX]

[DOI]

Brett A. Becker

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

2019

Software Engineering Education Beyond the Technical: A Systematic Literature Review.

[BibT_eX]

[DOI]

Kris Aerts

CoRR, 2019

The informal semantics of Answer Set Programming: A Tarskian perspective.

[BibT_eX]

[DOI]

Yuliya Lierler

Miroslaw Truszczynski

CoRR, 2019

Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Knowledge Elicitation within the Knowledge Base Paradigm: Disentangling Domain Knowledge from Decision Making in Industrial Applications.

[BibT_eX]

[DOI]

Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019, 2019

Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Adding Constraint Tables to the DMN Standard: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Explaining Actual Causation via Reasoning About Actions and Change.

[BibT_eX]

[DOI]

Emily C. LeBlanc

Marcello Balduccini

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Explaining Actual Causation in Terms of Possible Causal Processes.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

An Interactive Consultant.

[BibT_eX]

[DOI]

Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2018

A principled approach to defining actual causation.

[BibT_eX]

[DOI]

Synth., 2018

Safe inductions and their applications in knowledge representation.

[BibT_eX]

[DOI]

Artif. Intell., 2018

A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

The CAMETRON Lecture Recording System: High Quality Video Recording and Editing with Minimal Human Supervision.

[BibT_eX]

[DOI]

Proceedings of the MultiMedia Modeling - 24th International Conference, 2018

Application of Logic-Based Methods to Machine Component Design.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.

[BibT_eX]

[DOI]

CoRR, 2017

Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2017

Alarm Management on a Liquid Bulk Terminal.

[BibT_eX]

[DOI]

Kylian Van Dessel

Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017

Safe Inductions: An Algebraic Study.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Abnormal behavior detection in LWIR surveillance of railway platforms.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Advanced Video and Signal Based Surveillance, 2017

2016

On Well-Founded Set-Inductions and Locally Monotone Operators.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2016

A general framework for defining and extending actual causation using CP-logic.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2016

A Probabilistic Logic Programming Approach to Automatic Video Montage.

[BibT_eX]

[DOI]

Toon Goedemé

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Solving the Travelling Umpire Problem with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the BNAIC 2016: Artificial Intelligence, 2016

2015

An OpenCL implementation of a forward sampling algorithm for CP-logic.

[BibT_eX]

[DOI]

Wiebe Van Ranst

Int. J. Approx. Reason., 2015

Grounded fixpoints and their applications in knowledge representation.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Partial Grounded Fixpoints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Towards a General Framework for Actual Causation Using CP-logic.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Probabilistic Logic Programming co-located with 31st International Conference on Logic Programming (ICLP 2015), 2015

Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Grounded Fixpoints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Simulating Dynamic Systems Using Linear Time Calculus Theories.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Faster and more intelligent object detection by combining OpenCL and KR.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2014

FO(C): A Knowledge Representation Language of Causality.

[BibT_eX]

[DOI]

CoRR, 2014

FO(C) and Related Modelling Paradigms.

[BibT_eX]

[DOI]

CoRR, 2014

Probabilistic Definitions of Actual Causation Using CP-logic.

[BibT_eX]

[DOI]

CoRR, 2014

Inhibited Effects in CP-Logic.

[BibT_eX]

[DOI]

Wannes Meert

Proceedings of the Probabilistic Graphical Models - 7th European Workshop, 2014

The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Inference in the FO(C) Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

The effects of buying a new car: an extension of the IDP Knowledge Base System.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results

[BibT_eX]

[DOI]

CoRR, 2013

Negation in the Head of CP-logic Rules.

[BibT_eX]

[DOI]

CoRR, 2013

2012

An approximative inference method for solving ∃∀SO satisfiability problems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Counterfactual dependency and actual causation in CP-logic and structural models: a comparison.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2012, 2012

Is the Game worth the Candle? - Evaluation of OpenCL for Object Detection Algorithm Optimization.

[BibT_eX]

Proceedings of the PECCS 2012, 2012

CPCPU: Coreful Programming on the CPU - Why a CPU can Benefit from Massive Multithreading.

[BibT_eX]

Proceedings of the PECCS 2012, 2012

Ordered Epistemic Logic: Semantics, Complexity and Applications.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A Tarskian Informal Semantics for Answer Set Programming.

[BibT_eX]

[DOI]

Yuliya Lierler

Miroslaw Truszczynski

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

A General Representation and Approximate Inference Algorithm for Sensing Actions.

[BibT_eX]

[DOI]

Hanne Vlaeminck

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Actual causation in CP-logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

CHR(PRISM)-based probabilistic logic learning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

FO(ID) as an extension of DL with rules.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

ProbLog Technology for Inference in a Probabilistic First Order Logic.

[BibT_eX]

[DOI]

Theofrastos Mantadelis

Proceedings of the ECAI 2010, 2010

2009

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

A logical framework for configuration software.

[BibT_eX]

[DOI]

Hanne Vlaeminck

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

The Second Answer Set Programming Competition.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Using Lightweight Inference to Solve Lightweight Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

FO(ID) as an Extension of DL with Rules.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2009

2008

Algebraic and logical study of constructive processes in knowledge representation.

[BibT_eX]

[DOI]

AI Commun., 2008

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Algebraic and logical study of constructive processes in knowledge representation ; Algebraïsche en logische studie van constructieve processen in kennisrepresentatie.

[BibT_eX]

[DOI]

PhD thesis, 2007

Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.

[BibT_eX]

[DOI]

David Gilis