English
Related papers

Related papers: Sinoledge: A Knowledge Engine based on Logical Rea…

200 papers

There has been a considerable advance in computing, to mimic the way in which the brain tries to comprehend and structure the information to retrieve meaningful knowledge. It is identified that neuronal entities hold whole of the knowledge…

Artificial Intelligence · Computer Science 2014-08-05 T. R. Gopalakrishnan Nair , Meenakshi Malhotra

Although large language models (LLMs) excel in knowledge recall and reasoning, their static nature leads to outdated information as the real world evolves or when adapting to domain-specific knowledge, highlighting the need for effective…

Computation and Language · Computer Science 2025-04-02 Ruoxi Xu , Yunjie Ji , Boxi Cao , Yaojie Lu , Hongyu Lin , Xianpei Han , Ben He , Yingfei Sun , Xiangang Li , Le Sun

Vehicles are becoming connected entities. As a result, a likely scenario is that such entities might be literally bombarded with information from a multitude of devices. In this context, a key challenging requirement for both connected and…

Systems and Control · Computer Science 2018-04-20 Rodrigo Ordóñez-Hurtado , Giovanni Russo , Sam Sinnott , Robert Shorten

In large language models (LLMs), code and reasoning reinforce each other: code offers an abstract, modular, and logic-driven structure that supports reasoning, while reasoning translates high-level goals into smaller, executable steps that…

Computation and Language · Computer Science 2025-02-27 Dayu Yang , Tianyang Liu , Daoan Zhang , Antoine Simoulin , Xiaoyi Liu , Yuwei Cao , Zhaopu Teng , Xin Qian , Grey Yang , Jiebo Luo , Julian McAuley

We propose, in this paper, a model of continuous use of corporate collaborative KMS. Companies do not always have the guaranty that their KMS will be continuously used. This statement can constitute an important obstacle for knowledge…

Human-Computer Interaction · Computer Science 2016-02-01 Carine Touré , Christine Michel , Jean-Charles Marty

Medical dialogue systems have attracted significant attention for their potential to act as medical assistants. Enabling these medical systems to emulate clinicians' diagnostic reasoning process has been the long-standing research focus.…

Computation and Language · Computer Science 2024-06-21 Kaishuai Xu , Yi Cheng , Wenjun Hou , Qiaoyu Tan , Wenjie Li

We present a system that constructs and maintains an up-to-date co-occurrence network of medical concepts based on continuously mining the latest biomedical literature. Users can explore this network visually via a concise online interface…

Information Retrieval · Computer Science 2015-03-20 Alexei Yavlinsky

Large Language Models (LLMs) have exhibited impressive proficiency in various natural language processing (NLP) tasks, which involve increasingly complex reasoning. Knowledge reasoning, a primary type of reasoning, aims at deriving new…

Computation and Language · Computer Science 2024-07-02 Yifei Zhang , Xintao Wang , Jiaqing Liang , Sirui Xia , Lida Chen , Yanghua Xiao

This article is about an intelligent system to support ideas management as a result of a multi-agent system used in a distributed system with heterogeneous information as ideas and knowledge, after the results about an ontology to describe…

Artificial Intelligence · Computer Science 2020-09-14 Pedro Barrios , Davy Monticolo , Sahbi Sidhom

Situation awareness is a crucial cognitive skill that enables individuals to perceive, comprehend, and project the current state of their environment accurately. It involves being conscious of relevant information, understanding its…

Information Retrieval · Computer Science 2023-07-26 Sumit Sharma , Sarika Jain

The SINTAGMA information integration system is an infrastructure for accessing several different information sources together. Besides providing a uniform interface to the information sources (databases, web services, web sites, RDF…

Programming Languages · Computer Science 2007-12-20 András Gyorgy Békés , Péter Szeredi

This paper describes an information system designed to support the large volume of monitoring information generated by a distributed testbed. This monitoring information is produced by several subsystems and consists of status and…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-13 Warren Smith , Shava Smallen

This paper presents the Nemosine Framework, a modular cognitive architecture designed to support assisted reasoning, structured thinking, and systematic analysis. The model operates through functional cognitive modules ("personas") that…

Artificial Intelligence · Computer Science 2025-12-05 Edervaldo Melo

Reasoning Large Language Models (LLMs) with enhanced accuracy and explainability are increasingly being adopted in the medical domain, as the life-critical nature of clinical decision-making demands reliable support. Despite these…

Computation and Language · Computer Science 2025-11-12 Sung-Min Lee , Siyoon Lee , Juyeon Kim , Kyoungmin Roh

We present MedXIAOHE, a medical vision-language foundation model designed to advance general-purpose medical understanding and reasoning in real-world clinical applications. MedXIAOHE achieves state-of-the-art performance across diverse…

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form. However, rule formulation is a complex process…

Artificial Intelligence · Computer Science 2020-02-13 Cristina Cornelio , Veronika Thost

The effectiveness of artificial intelligence (AI) in healthcare is significantly hindered by unstructured clinical documentation, which results in noisy, inconsistent, and logically fragmented training data. To address this challenge, we…

Machine Learning · Computer Science 2025-10-21 Dun Liu , Qin Pang , Guangai Liu , Hongyu Mou , Jipeng Fan , Yiming Miao , Pin-Han Ho , Limei Peng

Engineering activities involve large groups of people from different domains and disciplines. They often generate important information flows that are difficult to manage. To face these difficulties, a knowledge engineering process is…

Other Computer Science · Computer Science 2012-01-25 Nicolas Perry , Samar Ammar-Khodja

Cyber-Physical Systems in general, and Intelligent Transport Systems (ITS) in particular use heterogeneous data sources combined with problem solving expertise in order to make critical decisions that may lead to some form of actions e.g.,…

Here we describe the SHARE system, a web service based framework for distributed querying and reasoning on the semantic web. The main innovations of SHARE are: (1) the extension of a SPARQL query engine to perform on-demand data retrieval…

Digital Libraries · Computer Science 2013-05-21 Ben P Vandervalk , E Luke McCarthy , Mark D Wilkinson