Search
Search Results
-
Some Remarks About Dependent Type Theory
The goal of this chapter is to describe a calculus designed in 1984/1985. This calculus was obtained by applying the ideas introduced by N.G. de... -
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... -
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... -
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... -
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... -
Right and Wrong: Ten Choices in Language Design
A description of language design choices that have a profound effect on software quality, criticism of how ordinary OO languages addressed them, and... -
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,... -
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,... -
Learning Automata-Based Complex Event Patterns in Answer Set Programming
Complex Event Recognition and Forecasting (CER/F) techniques attempt to detect, or even forecast ahead of time, event occurrences in streaming input... -
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...