Search Results for author:
Found 20 papers, 1 papers with code
Answer Set Programming for Flexible Payroll Management
Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries.
FindingEmo: An Image Dataset for Emotion Recognition in the Wild
We introduce FindingEmo, a new image dataset containing annotations for 25k images, specifically tailored to Emotion Recognition.
An epistemic logic for modeling decisions in the context of incomplete knowledge
A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge.
Knowledge-Based Support for Adhesive Selection: Will it Stick?
This work presents a more advanced tool, that was developed together with a team of adhesive experts.
Interactive Model Expansion in an Observable Environment
We study this class of problems in a context where some of the relevant information about the environment is not known by the user at the start of the search.
Interactive configurator with FO(.) and IDP-Z3
Industry abounds with interactive configuration problems, i. e., constraint solving problems interactively solved by persons with the assistance of a computer.
Problife: a Probabilistic Game of Life
In Game of Life, cells are placed in a grid and then watched as they evolve throughout subsequent generations, as dictated by the rules of the game.
Compressing Word Embeddings Using Syllables
We investigate this for two languages: English and Dutch.
Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning
DMN is a user-friendly, table-based notation for decision logic, which allows domain experts to model simple decision procedures without the help of IT staff.
A Table-Based Representation for Probabilistic Logic: Preliminary Results
We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN).
Proceedings 37th International Conference on Logic Programming (Technical Communications)
ICLP is the premier international event for presenting research in logic programming.
FOLASP: FO(.) as Input Language for Answer Ser Solvers
We present experimental results to show that the resulting combination of our translation with an off-the-shelf ASP solver is competitive with the IDP system as a way of solving problems formulated in FO(.).
Exploring the Role of Creativity in Software Engineering
In order to solve today's complex problems in the world of software development, technical knowledge is no longer enough.
Software Engineering
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.
The informal semantics of Answer Set Programming: A Tarskian perspective
In 1999, the seminal papers on answer set programming proposed to use this logic for a different purpose, namely, to model and solve search problems.
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 associated learning curve.
Combining Probabilistic, Causal, and Normative Reasoning in CP-logic
In recent years the search for a proper formal definition of actual causation -- i. e., the relation of cause-effect as it is instantiated in specific observations, rather than general causal relations -- has taken on impressive proportions.
Towards a General Framework for Actual Causation Using CP-logic
The search for a proper formal definition of actual causation has evolved into a controversial debate, that is pervaded with ambiguities and confusion.
FO(C): A Knowledge Representation Language of Causality
Cause-effect relations are an important part of human knowledge.
Negation in the Head of CP-logic Rules
Consequently, neither CP-logic nor FO(ID) have the need for two kinds of negations: there is only one negation, and its meaning is that of objective falsehood.
