English
Related papers

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

200 papers

In this current technological world, the application of machine learning is becoming ubiquitous. Incorporating machine learning algorithms on extremely low-power and inexpensive embedded devices at the edge level is now possible due to the…

Machine Learning · Computer Science 2022-11-09 Harsha Yelchuri , Rashmi R

Humans constantly restructure knowledge to use it more efficiently. Our goal is to give a machine learning system similar abilities so that it can learn more efficiently. We introduce the \textit{knowledge refactoring} problem, where the…

Artificial Intelligence · Computer Science 2020-11-25 Sebastijan Dumancic , Tias Guns , Andrew Cropper

Large language models (LLMs) have garnered increasing attention owing to their powerful logical reasoning capabilities. Generally, larger LLMs (L-LLMs) that require paid interfaces exhibit significantly superior performance compared to…

Artificial Intelligence · Computer Science 2025-11-11 Dong Chen , Shilin Zhang , Fei Gao , Yueting Zhuang , Siliang Tang , Qidong Liu , Mingliang Xu

A full-fledged data exploration system must combine different access modalities with a powerful concept of guiding the user in the exploration process, by being reactive and anticipative both for data discovery and for data linking. Such…

Though the word cognitive has a wide range of meanings we define cognitive engineering as learning from brain to bolster engineering solutions. However, giving an achievable framework to the process towards this has been a difficult task.…

Artificial Intelligence · Computer Science 2017-02-24 Amit Kumar Mishra

Traditional Artificial Cognitive Systems (for example, intelligent robots) share a number of limitations. First, they are usually made up only of machine components; humans are only playing the role of user or supervisor. And yet, there are…

Artificial Intelligence · Computer Science 2013-12-10 N. Mavridis , S. Konstantopoulos , I. Vetsikas , I. Heldal , P. Karampiperis , G. Mathiason , S. Thill , K. Stathis , V. Karkaletsis

The reasoning segmentation task, which demands a nuanced comprehension of intricate queries to accurately pinpoint object regions, is attracting increasing attention. However, Multi-modal Large Language Models (MLLM) often find it difficult…

Computer Vision and Pattern Recognition · Computer Science 2024-07-12 Xiaoyi Bao , Siyang Sun , Shuailei Ma , Kecheng Zheng , Yuxin Guo , Guosheng Zhao , Yun Zheng , Xingang Wang

Recommender Systems have been widely used to help users in finding what they are looking for thus tackling the information overload problem. After several years of research and industrial findings looking after better algorithms to improve…

Information Retrieval · Computer Science 2018-07-18 Vito Bellini , Angelo Schiavone , Tommaso Di Noia , Azzurra Ragone , Eugenio Di Sciascio

In this research paper we describe semantic oriented information engineering and knowledge management based solution towards E-Learning systems. We also try to justify the importance of proposed solution with respect to the E-Learning…

Other Computer Science · Computer Science 2010-08-10 Zeeshan Ahmed , Detlef Gerhard

While neural networks are good at learning unspecified functions from training samples, they cannot be directly implemented in hardware and are often not interpretable or formally verifiable. On the other hand, logic circuits are…

Machine Learning · Computer Science 2020-06-09 Tobias Brudermueller , Dennis L. Shung , Adrian J. Stanley , Johannes Stegmaier , Smita Krishnaswamy

Reasoning is fundamental to human intelligence, and critical for problem-solving, decision-making, and critical thinking. Reasoning refers to drawing new conclusions based on existing knowledge, which can support various applications like…

Computation and Language · Computer Science 2025-02-24 Mayi Xu , Yunfeng Ning , Yongqi Li , Jianhao Chen , Jintao Wen , Yao Xiao , Shen Zhou , Birong Pan , Zepeng Bao , Xin Miao , Hankun Kang , Ke Sun , Tieyun Qian

In this paper, we address reasoning tasks from open vocabulary Knowledge Bases (openKBs) using state-of-the-art Neural Language Models (NLMs) with applications in scientific literature. For this purpose, self-attention based NLMs are…

We present BioLunar, developed using the Lunar framework, as a tool for supporting biological analyses, with a particular emphasis on molecular-level evidence enrichment for biomarker discovery in oncology. The platform integrates Large…

We describe the design and implementation of a reasoning engine that facilitates the gamification of loop-invariant discovery. Our reasoning engine enables students, computational agents and regular software engineers with no formal methods…

Artificial Intelligence · Computer Science 2021-09-03 Andrew Walter , Seth Cooper , Panagiotis Manolios

The research results described are concerned with: - developing a domain modeling method and tools to provide the design and implementation of decision-making support systems for computer integrated manufacturing; - building a…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 V. V. Kryssanov , V. A. Abramov , Y. Fukuda , K. Konishi

Tiny Machine Learning (TinyML) is an upsurging research field that proposes to democratize the use of Machine Learning and Deep Learning on highly energy-efficient frugal Microcontroller Units. Considering the general assumption that TinyML…

Machine Learning · Computer Science 2023-02-15 Visal Rajapakse , Ishan Karunanayake , Nadeem Ahmed

The goals of the Triple Aim of health care and the goals of P4 medicine outline objectives that require a significant health informatics component. However, the goals do not provide specifications about how all of the new individual patient…

In the global competition, companies are propelled by an immense pressure to innovate. The trend to produce more new knowledge-intensive products or services and the rapid progress of information technologies arouse huge interest on…

Other Computer Science · Computer Science 2012-01-11 J. Xu , Rémy Houssin , Emmanuel Caillaud , Mickaël Gardoni

Tables in scientific papers contain a wealth of valuable knowledge for the scientific enterprise. To help the many of us who frequently consult this type of knowledge, we present Tab2Know, a new end-to-end system to build a Knowledge Base…

Artificial Intelligence · Computer Science 2021-07-29 Benno Kruit , Hongyu He , Jacopo Urbani

Despite its great success, machine learning can have its limits when dealing with insufficient training data. A potential solution is the additional integration of prior knowledge into the training process which leads to the notion of…