Search
Search Results
-
Model-Based Testing of Asynchronously Communicating Distributed Controllers
Programmable controllers are gaining prevalence even in distributed safety-critical infrastructures, e.g., in the railway and aerospace industries....
-
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL
A promising way of integrating formal methods into industrial system design is to endow industrial modeling tools with automatic formal analyses. In...
-
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer
Deciding how data should be transferred among Web services is an important part of their architecture design. Basically, each piece of data is...
-
Modifications of the Miller Definition of Contrastive (Counterfactual) Explanations
Miller recently proposed a definition of contrastive (counterfactual) explanations based on the well-known Halpern-Pearl (HP) definitions of causes...
-
Lifting Factor Graphs with Some Unknown Factors
Lifting exploits symmetries in probabilistic graphical models by using a representative for indistinguishable objects, allowing to carry out query...
-
Hypergraphs in Logic Programming
Heterogeneous data is a significant topic in today’s context, necessitating the development of AI tools. Logic programming is a powerful approach for...
-
Conditional Objects as Possibilistic Variables
The interpretation of basic conditionals as three-valued objects initiated by de Finetti has been mainly developed and extended by Gilio and...
-
Macsum Aggregation Learning and Missing Values
In recent work, a new kind of aggregation method has been proposed under the name of MacSum aggregation function that can be viewed as an interval...
-
Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing
In today’s rapidly evolving industrial landscape, control room operators must grapple with an ever-growing array of tasks and responsibilities. One...
-
Multi-label Classification of Mobile Application User Reviews Using Neural Language Models
Mobile application (App) reviews which are provided by users through different App stores are considered as a rich information source for developers...
-
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions
This paper considers whether the sequential application of a combination of a merging operator and a ranking construction operator predicts human...
-
An Efficient Non-Bayesian Approach for Interactive Preference Elicitation Under Noisy Preference Models
The development of models that can cope with noisy input preferences is a critical topic in artificial intelligence methods for interactive...
-
Determining Preferences over Extensions: A Cautious Approach to Preference-Based Argumentation Frameworks
Preferences in abstract argumentation frameworks allow to represent the comparative strength of arguments, or preferences between values that...
-
Handling Inconsistency in (Numerical) Preferences Using Possibility Theory
Gathering the preferences of a user in order to make correct recommendations becomes a difficult task in case of uncertain answers. Using possibility...
-
Learning Sets of Probabilities Through Ensemble Methods
A possible approach to obtain set-valued predictions is to learn for each query instance a probability set (a.k.a. credal set) representing its...
-
First Steps Towards a Logic of Ordered Pairs
Logical proportions are a type of propositional connector that involves four variables, expressed as a formula that encodes the conjunction of two...
-
A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction
Weighted abduction computes hypotheses that explain input observations. It employs parameters, called weights, to output hypotheses suitable for each...
-
On Identifiability of BN2A Networks
In this paper, we consider two-layer Bayesian networks. The first layer consists of hidden (unobservable) variables and the second layer consists of...
-
Types of Proofs
This chapter introduces the basic proof techniques: formal logic proofs, mathematical induction proofs, pigeonhole principle proofs, proofs by...
-
Pushdown Automata
This chapter introduces pushdown automata and their equivalence with context-free grammars.