Results 21 to 30 of about 271,070 (187)
Applications of Automated Reasoning [PDF]
, 2007 This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
Furbach, Ulrich (Prof. Dr.) +1 more
openaire +1 more source
Hierarchical Document Classification Method Based on Improved Self-attention Mechanism and Representation Learning [PDF]
Jisuanji kexueAn essential task of document classification is to study how to effectively represent input features,and sentence and document vector representations can assist in downstream tasks in natural language processing,such as text sentiment analysis and data ...
LIAO Xingbin, QIAN Yangge, WANG Qianlei, QIN Xiaolin
doaj +1 more source
LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends
Information, 2023 A significant part of the current research in the field of Artificial Intelligence is devoted to knowledge bases. New techniques and methodologies are emerging every day for the storage, maintenance and reasoning over knowledge bases.
Davide Di Pierro +2 more
doaj +1 more source
Verifiable Decryption Scheme Based on MLWE and MSIS [PDF]
Jisuanji kexueThe verifiable decryption technology involved in the two-party secure computing can be applied in real-world scenarios that require privacy protection,such as medical research data sharing,and inter-institutional cooperation for model training,which can ...
GUO Chuntong, WU Wenyuan
doaj +1 more source
GO faster ChEBI with Reasonable Biochemistry [PDF]
, 2008 Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created new opportunities for automated reasoning with description logic, that ...
Duncan Hull
core +2 more sources
Symbolic execution proofs for higher order store programs [PDF]
, 2014 Higher order store programs are programs which store, manipulate and invoke code at runtime. Important examples of higher order store programs include operating system kernels which dynamically load and unload kernel modules.
Charlton, Nathaniel +2 more
core +1 more source
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Journal of Applied Mathematics, 2013 We propose an approach for constructing Lyapunov function in quadratic form of a differential system. First, positive polynomial system is obtained via the local property of the Lyapunov function as well as its derivative.
Zhenyi Ji +3 more
doaj +1 more source
Combining Task and Motion Planning: Challenges and Guidelines
Frontiers in Robotics and AI, 2021 Combined Task and Motion Planning (TAMP) is an area where no one-fits-all solution can exist. Many aspects of the domain, as well as operational requirements, have an effect on how algorithms and representations are designed.
Masoumeh Mansouri +2 more
doaj +1 more source
Discrete Hierarchical Memory Particle Swarm Optimization Algorithm for Dynamic Public Transport [PDF]
Jisuanji gongchengWith the development of smart cities and transport, the continuous improvement of mobile Internet and smart transport infrastructure and data, a new transport operation method in which users order transport services on their mobile phones-dynamic ...
HUANG Junze, WU Wenyuan, LI Yi, SHI Mingquan, WANG Zhengjiang
doaj +1 more source
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source