Search
Search Results
-
A Uniform Framework for Language Inclusion Problems
We present a uniform approach for solving language inclusion problems. Our approach relies on a least fixpoint characterization and a quasiorder to... -
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... -
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... -
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... -
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... -
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.... -
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... -
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... -
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... -
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... -
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... -
On the Home-Space Problem for Petri Nets
In a recent paper (at Concur 2023) we answered a former question by D. de Frutos Escrig and C. Johnen, by showing the decidability of the “semilinear... -
A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods
This paper summarizes a recently published approach to assessing privacy risks in sharing whole-slide images. The particular focus is on aspects... -
Hidden Markov Models with Unobservable Transitions
We consider Hidden Markov Models (HMMs) that admit unobservable \(\varepsilon \)... -
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... -
From Procedures, Objects, Actors, Components, Services, to Agents
The objective of this chapter is to propose some retrospective analysis of the evolution of programming abstractions, from procedures, objects,... -
Semantics and Syntax, Between Computer Science and Mathematics
This text recounts my scientific itinerary from the late 1970s up to now, as I view it today, as well as the context in which it took place. The... -
Towards an Intensional Notion of Harmony
In this chapter we discuss how the intensional account of harmony sketched in the first chapter can be developed in a systematic way for a class of... -
Two Kinds of Difficulties
Two distinct kinds of cases, going back to Crabbé and Ekman, show that the Tennant-Prawitz criterion for paradoxicality overgenerates, that is, there...