This study introduces a novel computational framework integrating monadic second-order
temporal logic (MSOTL) with hypergraph models to enhance the predictive analysis and …

In traditional semantics for classical logic and its extensions, such as modal logic,
propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a …

Ambient intelligence plays a crucial role in healthcare situations. It provides a certain way to
deal with emergencies to provide the essential resources such as nearest hospitals and …

Querying knowledge graphs (KGs) using deep learning approaches can naturally leverage
the reasoning and generalization ability to learn to infer better answers. Traditional neural …

Cognitive neuroscience research has begun to explore the mental processes underlying
what a belief and what believing are. Recent evidence suggests that believing involves …

Abstract The Thousands of Problems for Theorem Provers (TPTP) World is a well-
established infrastructure that supports research, development and deployment of …

The article explores how an organization's High-Reliability Organization (HRO) attributes
can become impediments to generating reliability and safety in ill-structured, dangerous, or …

We propose a principled method to learn a set of human-readable logic rules to explain
temporal point processes. We assume that the generative mechanisms underlying the …

In the last decade, smart computing has garnered much attention, particularly in ubiquitous
environments, thus increasing the ease of everyday human life. Users can dynamically …

Aspect concerns the linguistic representation of the “internal” temporal properties of a
situation. It encompasses both explicitly marked grammatical categories, such as …