Search
Search Results
-
Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System
AbstractThe study of formal stability of equilibrium positions of a multiparametric Hamiltonian system in a generic case is traditionally carried out...
-
Neuro-symbolic artificial intelligence: a survey
The goal of the growing discipline of neuro-symbolic artificial intelligence (AI) is to develop AI systems with more human-like reasoning...
-
Efficient generator of mathematical expressions for symbolic regression
We propose an approach to symbolic regression based on a novel variational autoencoder for generating hierarchical structures, HVAE. It combines...
-
Language model-accelerated deep symbolic optimization
Symbolic optimization methods have been used to solve varied challenging and relevant problems such as symbolic regression and neural architecture...
-
Interpretable scientific discovery with symbolic regression: a review
Symbolic regression is emerging as a promising machine learning method for learning succinct underlying interpretable mathematical expressions...
-
Collaborative Decision Support Systems Based on Neuro-Symbolic Artificial Intelligence: Problems and Generalized Conceptual Model
AbstractThe development of artificial intelligence technologies and the growing complexity of decision-making when managing complex dynamic systems...
-
Symbolic-Numerical Implementation of the Galerkin Method for Approximate Solution of the Waveguide Diffraction Problem
AbstractIn this paper, we construct a symbolic-numerical implementation of the Galerkin method for approximate solution of the waveguide diffraction...
-
Temporal learner modelling through integration of neural and symbolic architectures
Neural and symbolic architectures are key techniques in AI for learner modelling, enhancing adaptive educational services. Symbolic models offer...
-
FFNSL: Feed-Forward Neural-Symbolic Learner
Logic-based machine learning aims to learn general, interpretable knowledge in a data-efficient manner. However, labelled data must be specified in a...
-
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides
AbstractIn this work, a symbolic-numerical solution of Maxwell’s equations is constructed, describing the guided modes of a two-dimensional smoothly...
-
Symbolic knowledge injection meets intelligent agents: QoS metrics and experiments
Bridging intelligent symbolic agents and sub-symbolic predictors is a long-standing research goal in AI. Among the recent integration efforts,...
-
Reduced implication-bias logic loss for neuro-symbolic learning
Integrating logical reasoning and machine learning by approximating logical inference with differentiable operators is a widely used technique in the...
-
Neuro-Symbolic Reasoning for Multimodal Referring Expression Comprehension in HMI Systems
Conventional Human–Machine Interaction (HMI) interfaces have predominantly relied on GUI and voice commands. However, natural human communication...
-
Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach
Deep neural networks, despite their capabilities, are constrained by the need for large-scale training data, and often fall short in generalisation...
-
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes
Memory corruption is a serious class of software vulnerabilities, which requires careful attention to be detected and removed from applications...
-
Constructing Compartmental Models of Dynamic Systems Using a Software Package for Symbolic Computation in Julia
AbstractThis paper considers the problem of constructing compartmental models of dynamic systems by using a software package for symbolic calculation...
-
Automated programming, symbolic computation, machine learning: my personal view
In this note, I present my personal view on the interaction of the three areas Automated Programming, Symbolic Computation, and Machine Learning....
-
Extended homogeneous bivariate orthogonal polynomials: symbolic and numerical Gaussian cubature formula
An extension of the bivariate homogeneous orthogonal polynomials can be introduced by using a linear functional with complex moments obtained from...
-
Automated discovery of symbolic laws governing skill acquisition from naturally occurring data
Skill acquisition is a key area of research in cognitive psychology as it encompasses multiple psychological processes. The laws discovered under...
-
TGR: Neural-symbolic ontological reasoner for domain-specific knowledge graphs
Ontological reasoning has great prospects in applications based on domain-specific knowledge graphs (KG). However, it is difficult for existing logic...