English
Related papers

Related papers: Semantic DMN: Formalizing and Reasoning About Deci…

200 papers

The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct in DMN is that of a decision table. The increasing use of…

Software Engineering · Computer Science 2016-03-25 Diego Calvanese , Marlon Dumas , Ülari Laurson , Fabrizio M. Maggi , Marco Montali , Irene Teinemaa

Knowledge-based AI typically depends on a knowledge engineer to construct a formal model of domain knowledge -- but what if domain experts could do this themselves? This paper describes an extension to the Decision Model and Notation (DMN)…

Artificial Intelligence · Computer Science 2021-10-07 Simon Vandevelde , Bram Aerts , Joost Vennekens

Large Language Models (LLMs) have shown considerable potential in automating decision logic within knowledge-intensive processes. However, their effectiveness largely depends on the strategy and quality of prompting. Since decision logic is…

Artificial Intelligence · Computer Science 2025-09-05 Shaghayegh Abedi , Amin Jalali

We present Probabilistic Decision Model and Notation (pDMN), a probabilistic extension of Decision Model and Notation (DMN). DMN is a modeling notation for deterministic decision logic, which intends to be user-friendly and low in…

Artificial Intelligence · Computer Science 2021-10-06 Simon Vandevelde , Victor Verreet , Luc De Raedt , Joost Vennekens

Discrete choice models (DCM) are widely employed in travel demand analysis as a powerful theoretical econometric framework for understanding and predicting choice behaviors. DCMs are formed as random utility models (RUM), with their key…

Machine Learning · Computer Science 2023-06-02 Shadi Haj-Yahia , Omar Mansour , Tomer Toledo

Automated planning is a form of declarative problem solving which has recently drawn attention from the machine learning (ML) community. ML has been applied to planning either as a way to test `reasoning capabilities' of architectures, or…

Artificial Intelligence · Computer Science 2024-10-11 Dillon Z. Chen , Rostislav Horčík , Gustav Šír

BPMN is a specification language widely used by industry and researchers for business process modeling and execution. It defines clearly how to articulate its concepts, but do not provide mechanism to represent the semantics of the produced…

Software Engineering · Computer Science 2020-12-18 Sérgio Guerreiro , Pedro Sousa

Artifact-centric models for business processes recently raised a lot of attention, as they manage to combine structural (i.e. data related) with dynamical (i.e. process related) aspects in a seamless way. Many frameworks developed under…

Artificial Intelligence · Computer Science 2015-05-05 Michele Stawowy

Value Driver Trees (VDTs) are conceptual models used to illustrate and analyse the causal relationships between key performance indicators and business outcomes, thereby supporting managerial decision-making and value-based management.…

Software Engineering · Computer Science 2025-12-18 Benjamin Matthies

DL^N is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DL^N, illustrating the underlying knowledge engineering requirements as well as the characteristic…

Artificial Intelligence · Computer Science 2020-09-18 Piero A. Bonatti , Iliana M. Petrova , Luigi Sauro

This paper addresses the domain generalization (DG) problem in deep learning. While most DG methods focus on enforcing visual feature invariance, we leverage the reasoning capability of multimodal large language models (MLLMs) and explore…

Artificial Intelligence · Computer Science 2026-03-02 Zhipeng Xu , Zilong Wang , Xinyang Jiang , Dongsheng Li , De Cheng , Nannan Wang

In this paper we present a textual description, in terms of Description Logics, of the BPMN Ontology, which provides a clear semantic formalisation of the structural components of the Business Process Modelling Notation (BPMN), based on the…

Artificial Intelligence · Computer Science 2021-09-23 Chiara Ghidini , Marco Rospocher , Luciano Serafini

Large Language Models (LLMs) excel at intuitive, implicit reasoning. Guiding LLMs to construct thought chains can enhance their deliberate reasoning abilities, but also faces challenges such as hallucination. Knowledge Graphs (KGs) can…

Computation and Language · Computer Science 2025-03-07 Guangyi Liu , Yongqi Zhang , Yong Li , Quanming Yao

We present a document-grounded matching network (DGMN) for response selection that can power a knowledge-aware retrieval-based chatbot system. The challenges of building such a model lie in how to ground conversation contexts with…

Computation and Language · Computer Science 2019-06-12 Xueliang Zhao , Chongyang Tao , Wei Wu , Can Xu , Dongyan Zhao , Rui Yan

Entity Disambiguation aims to link mentions of ambiguous entities to a knowledge base (e.g., Wikipedia). Modeling topical coherence is crucial for this task based on the assumption that information from the same semantic context tends to…

Computation and Language · Computer Science 2015-04-30 Hongzhao Huang , Larry Heck , Heng Ji

Business Process Model and Notation (BPMN) is a widely used standard for modelling business processes. While automated planning has been proposed as a method for simulating and reasoning about BPMN workflows, most implementations remain…

Artificial Intelligence · Computer Science 2025-11-25 Jasper Nie , Christian Muise , Victoria Armstrong

How decisions are being made is of utmost importance within organizations. The explicit representation of business logic facilitates identifying and adopting the criteria needed to make a particular decision and drives initiatives to…

Software Engineering · Computer Science 2024-05-17 Bedilia Estrada-Torres , Adela del-Río-Ortega , Manuel Resinas

Machine Learning (ML) has been integrated into various software and systems. Two main components are essential for training an ML model: the training data and the ML algorithm. Given the critical role of data in ML system development, it…

Software Engineering · Computer Science 2025-08-27 Asma Yamani , Nadeen AlAmoudi , Salma Albilali , Malak Baslyman , Jameleddine Hassine

Reasoning with declarative knowledge (RDK) and sequential decision-making (SDM) are two key research areas in artificial intelligence. RDK methods reason with declarative domain knowledge, including commonsense knowledge, that is either…

Artificial Intelligence · Computer Science 2022-07-01 Shiqi Zhang , Mohan Sridharan

Large language models (LLMs) are increasingly engaging in moral and ethical reasoning, where criteria for judgment are often unclear, even for humans. While LLM alignment studies cover many areas, one important yet underexplored area is how…

Computation and Language · Computer Science 2025-06-16 Bumjin Park , Jinsil Lee , Jaesik Choi
‹ Prev 1 2 3 10 Next ›