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... -
Dictator Game with a Robot in Children with Autism Spectrum Disorders: Sharing is Predicted by Positive Attributions Towards the Agent
The increasing use of robots for individuals with Autism Spectrum Disorders (ASD), with the notable aim of supporting the development of social... -
Action Boundary in 2D-Cyberspace: A Critical Review of the Action Boundary Perception Tasks
In everyday life, adaptive behavior depends on the ability to perceive action possibilities. The field of research on affordances has addressed how... -
Interplay of Conditional Reasoning and Politeness: The Role of Speaker Relationships in the Japanese Context
This study investigates how inter-speaker relations influence the interpretation of conditional statements “if p1 then q” and conditional reasoning,... -
Can Machines and Humans Use Negation When Describing Images?
Can negation be depicted? It has been claimed in various areas, including philosophy, cognitive science, and AI, that depicting negation through... -
Relationship Between Theory of Mind and Judgement Based on Intention in 4–7 Y.O. Children
In this research we compare the ability to take into account the intent in moral judgement with the level of Theory of Mind (ToM) in Typically... -
Designing Automated Systems for Learning Analysis
In the context of the e-FRAN program, our research focused on engineering freshmen’s learning processes of 3-D modeling in relation to their spatial... -
Mental Representations About Tangible Programming in Early Childhood Education
Representations of early childhood children and their development of computational thinking skills while tangibly programming a robot are presented... -
Physiological Anxiety Recognition
Anxiety is currently increasing in human daily life. Studies aimed to deepen the understanding of it, to minimize its negative impact on people's... -
Trust in Algorithmic Advice Increases with Task Complexity
The use of algorithms in decision-making has increased in various fields, such as medicine, government, and business. Despite their proven accuracy,... -
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... -
Model-Based Diagnosis with ASP for Non-groundable Domains
Model-based diagnosis is a technique for identifying malfunctioning components in systems. While it has successfully been applied to systems such as... -
A Complete Fragment of LTL(EB)
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment... -
Relational Schemas with Multiplicity Bounds, Diversity Bounds and Functional Dependencies
As yet another semantically enriched data model, we consider relational schemas with finite domain sizes and multiplicity bounds and diversity bounds... -
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference
It has been shown that c-inference is an inductive inference operator, map** belief bases to inference relations, that exhibits many desirable... -
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
The maintenance optimization of multi-component machines has been recently formalized as an Answer Set Optimization (ASO) problem based on component... -
An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier
The Rescher quantifier and Härtig quantifier have been the subject of much theoretical inquiry, due to the ability of their respective languages to... -
Explaining with Attribute-Based and Relational Near Misses: An Interpretable Approach to Distinguishing Facial Expressions of Pain and Disgust
Explaining concepts by contrasting examples is an efficient and convenient way of giving insights into the reasons behind a classification decision.... -
Navigable Atom-Rule Interactions in PSL Models Enhanced by Rule Verbalizations, with an Application to Etymological Inference
Adding to the budding landscape of advanced analysis tools for Probabilistic Soft Logic (PSL), we present a graphical explorer for grounded PSL...