Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
From MaRDI portal
Publication:6577680
Recommendations
- Editorial of the special issue ``Synergies between machine learning and reasoning
- Towards hybridization of knowledge representation and machine learning
- Some thoughts on knowledge-enhanced machine learning
- About knowledge and inference in logical and relational learning
- From statistical relational to neurosymbolic artificial intelligence: a survey
Cites work
- scientific article; zbMATH DE number 1651999 (Why is no real title available?)
- scientific article; zbMATH DE number 1696848 (Why is no real title available?)
- scientific article; zbMATH DE number 1808289 (Why is no real title available?)
- scientific article; zbMATH DE number 3852463 (Why is no real title available?)
- scientific article; zbMATH DE number 5296741 (Why is no real title available?)
- scientific article; zbMATH DE number 5547947 (Why is no real title available?)
- scientific article; zbMATH DE number 3986613 (Why is no real title available?)
- scientific article; zbMATH DE number 53312 (Why is no real title available?)
- scientific article; zbMATH DE number 140369 (Why is no real title available?)
- scientific article; zbMATH DE number 193123 (Why is no real title available?)
- scientific article; zbMATH DE number 3560492 (Why is no real title available?)
- scientific article; zbMATH DE number 3567782 (Why is no real title available?)
- scientific article; zbMATH DE number 1198948 (Why is no real title available?)
- scientific article; zbMATH DE number 592370 (Why is no real title available?)
- scientific article; zbMATH DE number 1149407 (Why is no real title available?)
- scientific article; zbMATH DE number 1179314 (Why is no real title available?)
- scientific article; zbMATH DE number 1946853 (Why is no real title available?)
- scientific article; zbMATH DE number 1950775 (Why is no real title available?)
- scientific article; zbMATH DE number 2044170 (Why is no real title available?)
- scientific article; zbMATH DE number 1552518 (Why is no real title available?)
- scientific article; zbMATH DE number 1911276 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 845714 (Why is no real title available?)
- scientific article; zbMATH DE number 1420895 (Why is no real title available?)
- scientific article; zbMATH DE number 7625179 (Why is no real title available?)
- scientific article; zbMATH DE number 7635224 (Why is no real title available?)
- scientific article; zbMATH DE number 2199279 (Why is no real title available?)
- scientific article; zbMATH DE number 3349329 (Why is no real title available?)
- scientific article; zbMATH DE number 2243357 (Why is no real title available?)
- scientific article; zbMATH DE number 2243414 (Why is no real title available?)
- A BIG-STEPPED PROBABILITY APPROACH FOR DISCOVERING DEFAULT RULES
- A Guided Tour of Artificial Intelligence Research
- A Guided Tour of Artificial Intelligence Research
- A SAT-based approach to learn explainable decision sets
- A decade of application of the Choquet and Sugeno integrals in multi-criteria decision aid
- A framework for deep constrained clustering
- A general framework for explaining the results of a multi-attribute preference model
- A general framework for maximizing likelihood under incomplete data
- A glance at causality theories for artificial intelligence
- A new evidential \(K\)-nearest neighbor rule based on contextual discounting with partially supervised learning
- A review on declarative approaches for constrained clustering
- A statistical approach to learning constraints
- A survey on the explainability of supervised machine learning
- A taxonomy of weight learning methods for statistical relational learning
- A theory of the learnable
- A tutorial on conformal prediction
- Aleatoric and epistemic uncertainty in machine learning: an introduction to concepts and methods
- Algorithm runtime prediction: methods \& evaluation
- An approach for on-line extraction of fuzzy rules using a self-organising fuzzy neural network
- An experiment in linguistic synthesis with a fuzzy logic controller
- An extended knowledge compilation map for conditional preference statements-based and generalized additive utilities-based languages
- An informational distance for estimating the faithfulness of a possibility distribution, viewed as a family of probability distributions, with respect to data
- Analogical proportions: from equality to inequality
- Analogy-based classifiers for nominal or numerical data
- Analogy-based classifiers: an improved algorithm exploiting competent data pairs
- Assessing heuristic machine learning explanations with model counting
- Axiomatic characterization of a general utility function and its particular cases in terms of conjoint measurement and rough-set decision rules
- Bayesian networks with imprecise probabilities: theory and application to classification
- Belief functions and rough sets: survey and new insights
- Belief functions induced by random fuzzy sets: a general framework for representing uncertain and fuzzy evidence
- Belief revision and the EM algorithm
- Bridging logic and kernel machines
- Building classification trees using the total uncertainty criterion
- CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability
- Causal inference in statistics. A primer
- Causality. Models, reasoning, and inference
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations
- Comparing probability measures using possibility theory: a notion of relative peakedness
- Conditional independence in valuation-based systems
- Conformal Prediction: A Gentle Introduction
- Connectionist computations of intuitionistic reasoning
- Connectionist modal logic: representing modalities in neural networks
- Constrained Clustering Using Column Generation
- Constrained clustering by constraint programming
- Constraint acquisition
- Constructing optimal binary decision trees is NP-complete
- Core concepts in data analysis. Summarization, correlation and visualization.
- Credal networks
- Data Mining and Knowledge Discovery Handbook
- Deep network guided proof search
- Default and Inexact Reasoning with Possibility Degrees
- Designing algorithms for machine learning and data mining
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- Efficient computation of counterfactual bounds
- Elicitating Sugeno Integrals: Methodology and a Case Study
- Enriching interactive explanations with fuzzy temporal constraint networks
- Evidential calibration of binary SVM classifiers
- Evidential reasoning in large partially ordered sets. Application to multi-label classification, ensemble clustering and preference aggregation
- Explaining answers generated by knowledge graph embeddings
- Explaining robust additive utility models by sequences of preference swaps
- Explanation in artificial intelligence: insights from the social sciences
- Extract intelligible and concise fuzzy rules from neural networks
- Extracting Decision Rules from Qualitative Data via Sugeno Utility Functionals
- Formal concept analysis: from knowledge discovery to knowledge processing
- Formal specification for deep neural networks
- Frequency-calibrated belief functions: review and new insights
- From Possibilistic Rule-Based Systems to Machine Learning - A Discussion Paper
- From analogical proportion to logical proportions
- From statistical relational to neurosymbolic artificial intelligence: a survey
- Fuzzy identification of systems and its applications to modeling and control
- Fuzzy rough sets and multiple-premise gradual decision rules
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Graph-based knowledge representation. Computational foundations of conceptual graphs
- Graphical models for imprecise probabilities
- Guiding high-performance SAT solvers with unsat-core predictions
- Handbook of constraint programming.
- Handbook of satisfiability. In 2 parts
- Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings
- High-order networks that learn to satisfy logic constraints
- Hinge-loss Markov random fields and probabilistic soft logic
- Ignorability and coarse data
- Inconsistency-tolerant query answering: rationality properties and computational complexity analysis
- Inductive Logic Programming
- Inductive Logic Programming: Theory and methods
- Inference in directed evidential networks based on the transferable belief model
- Inference in possibilistic network classifiers under uncertain observations
- Interdependence and Additivity in Multivariate, Unidimensional Expected Utility Theory
- Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces
- Introducing possibilistic logic in ILP for dealing with exceptions
- Introduction to logical information systems
- Is combining classifiers with stacking better than selecting the best one?
- Knowledge graphs as tools for explainable machine learning: a survey
- Knowledge-based artificial neural networks
- Learning Constraint Satisfaction Problems: An ILP Perspective
- Learning a distance metric from relative comparisons between quadruplets of images
- Learning and reasoning with logic tensor networks
- Learning certifiably optimal rule lists for categorical data
- Learning constraints through partial queries
- Learning decision catalogues for situated decision making: the case of scoring systems
- Learning decision trees with flexible constraints and objectives using integer optimization
- Learning explanatory rules from noisy data
- Learning from imprecise and fuzzy observations: data disambiguation through generalized loss minimization
- Learning from partial labels
- Learning rate based branching heuristic for SAT solvers
- Learning the parts of objects by non-negative matrix factorization
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
- Learning-assisted theorem proving with millions of lemmas
- Lifted relational neural networks: efficient learning of latent relational structures
- Logical analysis of data: classification with justification
- Logical and Relational Learning
- MaLeCoP. Machine learning connection prover
- MacSum aggregation learning and missing values
- Machine learning and information theory concepts towards an AI mathematician
- Machine learning models, epistemic set-valued data and generalized loss functions: an encompassing approach
- Machine learning-based restart policy for CDCL SAT solvers
- Macsum aggregation learning
- Macsum: a new interval-valued linear operator
- Markov logic networks
- Maximum likelihood estimation and coarse data
- Mechanizing hypothesis formation. Mathematical foundations for a general theory
- Mining top-\(k\) motifs with a SAT-based framework
- Multilabel classification with partial abstention: Bayes-optimal prediction under label independence
- Multiple-valued extensions of analogical proportions
- Neural-Symbolic Cognitive Reasoning
- Non-negative matrix factorization with sparseness constraints
- Nonmonotonic reasoning, preferential models and cumulative logics
- On Tackling Explanation Redundancy in Decision Trees
- On quantifying literals in Boolean logic and its applications to explainable AI
- On random sets and belief functions
- On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
- On the failings of Shapley values for explainability
- On the granularity of summative kernels
- On the reasons behind decisions
- On the transformation between possibilistic logic bases and possibilistic causal networks
- Open-WBO: a modular MaxSAT solver
- Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
- Paraconsistent logic: consistency, contradiction and negation
- Parametric classification with soft labels using the evidential EM algorithm: linear discriminant analysis versus logistic regression
- Paramils: an automatic algorithm configuration framework
- Physics-informed neural networks: a deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations
- Possibility theory and formal concept analysis: characterizing independent sub-contexts
- Possibility theory and statistical reasoning
- Prediction of future observations using belief functions: a likelihood-based approach
- Preference Learning
- Preference inference based on lexicographic models
- Prefix-projection global constraint and top-\(k\) approach for sequential pattern mining
- Probabilistic inductive logic programming. Theory and applications
- Propositionalization-based relational subgroup discovery with RSD
- Qualitative methods for reasoning under uncertainty
- Quantified neural Markov logic networks
- Queries and concept learning
- Realizing RCC8 networks using convex regions
- Reasoning about uncertainty
- Reasoning with fuzzy and uncertain evidence using epistemic random fuzzy sets: general framework and practical models
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Representation of explanations of possibilistic inference decisions
- Representations of uncertainty in AI: beyond probability and possibility
- Representations of uncertainty in artificial intelligence: probability and possibility
- Reprint of: Some thoughts about transfer learning. What role for the source domain?
- Resolution of composite fuzzy relation equations
- Revisiting analogical proportions and analogical inference
- SATenstein: automatically building local search SAT solvers from components
- SATzilla: portfolio-based algorithm selection for SAT
- Semirings for probabilistic and neuro-symbolic logic programming
- Some relationships between fuzzy sets, mathematical morphology, rough sets, F-transforms, and formal concept analysis
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Statistical analysis with missing data
- Statistical relational artificial intelligence: logic, probability, and computation
- Symbolic and quantitative approaches to uncertainty. European conference ESQUAU, Marseille, France, October 15-17, 1991. Proceedings
- Symbolic knowledge extraction from trained neural networks: A sound approach
- TensorLog: a probabilistic database implemented using deep-learning infrastructure
- The book of why. The new science of cause and effect
- The logical encoding of Sugeno integrals
- The multilabel naive credal classifier
- The possibilistic handling of irrelevance in exception-tolerant reasoning
- Three approaches to data analysis. Test theory, rough sets and logical analysis of data.
- Three-way granular computing, rough sets, and formal concept analysis
- Towards an effective practice of learning from data and knowledge
- Ultra-strong machine learning: comprehensibility of programs learned with ILP
- Uncertainty quantification in logistic regression using random fuzzy sets and belief functions
- Updating beliefs with incomplete observations
- Upper Probabilities Based Only on the Likelihood Function
- Upper and Lower Probabilities Induced by a Multivalued Mapping
- What are fuzzy rules and how to use them
- \(\mathrm{CCN}^+\): a neuro-symbolic framework for deep learning with requirements
Cited in
(4)
This page was built for publication: Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6577680)
