Semantic reasoner ≈ Semantic reasoner
View article
A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity Open
This paper proposes a framework for quantitatively evaluating interactive LLMs such as ChatGPT using publicly available data sets. We carry out an extensive technical evaluation of ChatGPT using 23 data sets covering 8 different common NLP…
View article
Advancing theorizing about fast-and-slow thinking Open
Human reasoning is often conceived as an interplay between a more intuitive and deliberate thought process. In the last 50 years, influential fast-and-slow dual-process models that capitalize on this distinction have been used to account f…
View article
GeoNeRF: Generalizing NeRF with Geometry Priors Open
We present GeoNeRF, a generalizable photorealistic novel view synthesis method based on neural radiance fields. Our approach consists of two main stages: a geometry reasoner and a renderer. To render a novel view, the geometry reasoner fir…
View article
STaR: Bootstrapping Reasoning With Reasoning Open
Generating step-by-step "chain-of-thought" rationales improves language model performance on complex reasoning tasks like mathematics or commonsense question-answering. However, inducing language model rationale generation currently requir…
View article
The OWL Reasoner Evaluation (ORE) 2015 Competition Report Open
The OWL Reasoner Evaluation competition is an annual competition (with an associated workshop) that pits OWL 2 compliant reasoners against each other on various standard reasoning tasks over naturally occurring problems. The 2015 competiti…
View article
Subgraph Retrieval Enhanced Model for Multi-hop Knowledge Base Question Answering Open
Recent works on knowledge base question answering (KBQA) retrieve subgraphs\nfor easier reasoning. A desired subgraph is crucial as a small one may exclude\nthe answer but a large one might introduce more noises. However, the existing\nret…
View article
Probabilistic Description Logics under the distribution semantics Open
Representing uncertain information is crucial for modeling real world domains. In this paper we present a technique for the integration of probabilistic information in Description Logics (DLs) that is based on the distribution semantics fo…
View article
SemEval-2015 Task 5: QA TempEval - Evaluating Temporal Information Understanding with Question Answering Open
QA TempEval shifts the goal of previous TempEvals away from an intrinsic evaluation methodology toward a more extrinsic goal of question answering.This evaluation requires systems to capture temporal information relevant to perform an end-…
View article
Leveraging cyber threat intelligence for a dynamic risk framework Open
One of the most important goals in an organization is to have risks under an acceptance level along the time. All organizations are exposed to real-time security threats that could have an impact on their risk exposure levels harming the e…
View article
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner Open
Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for many applications. Query answering is, however, computationally very expensive, which has led to the development of query answering procedures that …
View article
Attention-based Sentiment Reasoner for aspect-based sentiment analysis Open
Aspect-based sentiment analysis (ABSA) is a powerful way of predicting the sentiment polarity of text in natural language processing. However, understanding human emotions and reasoning from text like a human continues to be a challenge. I…
View article
Cabin as a Home: A Novel Comfort Optimization Framework for IoT Equipped Smart Environments and Applications on Cruise Ships Open
The international tourism competition poses new challenges to the cruise sector, such as the achievement of the tourists’ satisfaction and the increase in on board comfort. Moreover, the growing sophistication of tourists’ needs leads to a…
View article
Is ChatGPT a Good Causal Reasoner? A Comprehensive Evaluation Open
Causal reasoning ability is crucial for numerous NLP applications. Despite the impressive emerging ability of ChatGPT in various NLP tasks, it is unclear how well ChatGPT performs in causal reasoning. In this paper, we conduct the first co…
View article
Modeling and reasoning of IoT architecture in semantic ontology dimension Open
The architecture for IoT is the primary foundation for designing and implementing the System of Internet of things. This paper discusses the theory, method, tools and practice of modeling and reasoning the architecture of the Internet of T…
View article
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving Open
Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize…
View article
Inferring and Executing Programs for Visual Reasoning Open
Existing methods for visual reasoning attempt to directly map inputs to outputs using black-box architectures without explicitly modeling the underlying reasoning processes. As a result, these black-box models often learn to exploit biases…
View article
A decision support system for urban infrastructure inter-asset management employing domain ontologies and qualitative uncertainty-based reasoning Open
Urban infrastructure assets (e.g. roads, water pipes) perform critical functions to the health and well-being of society. Although it has been widely recognised that different infrastructure assets are highly interconnected, infrastructure…
View article
GDL-III: A Description Language for Epistemic General Game Playing Open
GDL-III, a description language for general game playing with imperfect information and introspection, supports the specification of epistemic games. These are characterised by rules that depend on the knowledge of players. GDL-III provide…
View article
Artificial Intelligence as a Means to Moral Enhancement Open
This paper critically assesses the possibility of moral enhancement with ambient intelligence technologies and artificial intelligence presented in Savulescu and Maslen (2015). The main problem with their proposal is that it is not robust …
View article
User Context Ontology for Adaptive Mobile-Phone Interfaces Open
The Adaptive User Interface (AUI) adapts to the changes in the context of use and provides improved interaction abilities for different users. The adaptivity in the user interfaces requires in depth knowledge of context. There is a need to…
View article
Personalized Recommendations for Physical Activity e-Coaching (OntoRecoModel): Ontological Modeling Open
Background Automatic e-coaching may motivate individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Multiple studies have reported on uninterrupted and automa…
View article
Developing a Physical Activity Ontology to Support the Interoperability of Physical Activity Data Open
As a first step toward standardizing and structuring heterogeneous descriptions of physical activities for integrative data analyses, PACO was constructed based on the concepts collected from physical activity questionnaires and assessment…
View article
REFINER: Reasoning Feedback on Intermediate Representations Open
Language models (LMs) have recently shown remarkable performance on reasoning tasks by explicitly generating intermediate inferences, e.g., chain-of-thought prompting. However, these intermediate inference steps may be inappropriate deduct…
View article
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner Open
Linear temporal logic (LTL) is a modal logic where formulas are built over temporal operators relating events happening in different time instants. According to the standard semantics, LTL formulas are interpreted on traces spanning over a…
View article
A Wireless Sensor Network-Based Approach with Decision Support for Monitoring Lake Water Quality Open
Online monitoring and water quality analysis of lakes are urgently needed. A feasible and effective approach is to use a Wireless Sensor Network (WSN). Lake water environments, like other real world environments, present many changing and …
View article
Reasoning with probabilistic ontologies Open
Modeling real world domains requires ever more frequently to represent uncertain information. The DISPONTE semantics for probabilistic description logics allows to annotate axioms of a knowledge base with a value that represents their prob…
View article
Wearable Reasoner Open
Human judgments and decisions are prone to errors in reasoning caused by factors such as personal biases and external misinformation. We explore the possibility of enhanced reasoning by implementing a wearable AI system as a human symbioti…
View article
Using a cognitive architecture for general purpose service robot control Open
A humanoid service robot equipped with a set of simple action skills including navigating, grasping, recognising objects or people, among others, is considered in this paper. By using those skills the robot should complete a voice command …
View article
Knowledge and agent-based system for decentralised scheduling in manufacturing Open
The aim of the research paper is to develop algorithms for manufacturers’ agents that would allow them to sequence their own operation plans and to develop a multi-agent infrastructure to allow operation pair agents to cooperatively adjust…
View article
POLARIS: Probabilistic and Ontological Activity Recognition in Smart-Homes Open
Recognition of activities of daily living (ADLs) is an enabling technology for several ubiquitous computing applications. Most activity recognition systems rely on supervised learning to extract activity models from labeled datasets. A pro…