research
∙
05/20/2023
Interactive Model Expansion in an Observable Environment
Many practical problems can be understood as the search for a state of a...
share
research
∙
03/25/2022
Self-Assessing Creative Problem Solving for Aspiring Software Developers: A Pilot Study
We developed a self-assessment tool for computing students in higher edu...
research
∙
02/01/2022
IDP-Z3: a reasoning engine for FO(.)
An important sign of intelligence is the capacity to apply a body of kno...
research
∙
01/24/2022
Problife: a Probabilistic Game of Life
This paper presents a probabilistic extension of the well-known cellular...
research
∙
01/13/2022
Compressing Word Embeddings Using Syllables
This work examines the possibility of using syllable embeddings, instead...
research
∙
10/06/2021
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
Knowledge-based AI typically depends on a knowledge engineer to construc...
research
∙
10/05/2021
A Table-Based Representation for Probabilistic Logic: Preliminary Results
We present Probabilistic Decision Model and Notation (pDMN), a probabili...
research
∙
09/15/2021
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic...
research
∙
08/09/2021
FOLASP: FO(.) as Input Language for Answer Ser Solvers
Over the past decades, Answer Set Programming (ASP) has emerged as an im...
research
∙
01/04/2021
Exploring the Role of Creativity in Software Engineering
In order to solve today's complex problems in the world of software deve...
research
∙
12/07/2020
Engaging Software Engineering Students in Grading: The effects of peer assessment on self-evaluation, motivation, and study time
Peer assessment is a popular technique for a more fine-grained evaluatio...
research
∙
05/17/2020
Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning
This paper describes an extension to the DMN standard, called cDMN. It a...
research
∙
10/22/2019
Software Engineering Education Beyond the Technical: A Systematic Literature Review
Higher education provides a solid theoretical and practical, but mostly ...
research
∙
10/22/2019
Non-cognitive abilities of exceptional software engineers: a Delphi study
Important building blocks of software engineering concepts are without a...
research
∙
01/26/2019
The informal semantics of Answer Set Programming: A Tarskian perspective
In Knowledge Representation, it is crucial that knowledge engineers have...
research
∙
11/03/2015
Lowering the learning curve for declarative programming: a Python API for the IDP system
Programmers may be hesitant to use declarative systems, because of the a...
research
∙
03/03/2015
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic
In recent years the search for a proper formal definition of actual caus...
research
∙
10/26/2014
Towards a General Framework for Actual Causation Using CP-logic
Since Pearl's seminal work on providing a formal language for causality,...
research
∙
05/08/2014
FO(C): A Knowledge Representation Language of Causality
Cause-effect relations are an important part of human knowledge. In real...
research
∙
12/20/2013
Negation in the Head of CP-logic Rules
CP-logic is a probabilistic extension of the logic FO(ID). Unlike ASP, b...
research
∙
01/08/2013
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results
Previous research into the relation between ASP and classical logic has ...
research
∙
07/25/2011
Actual Causation in CP-logic
Given a causal model of some domain and a particular story that has take...
research
∙
04/10/2009