An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases

DOI10.1017/S1471068422000163MaRDI QIDQ5038463

Daniele Theseider Dupré, Laura Giordano

Publication date: 30 September 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.01123

zbMATH Keywords

neural networksdescription logicsanswer set programmingmulti-valued logics

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

A general framework for preferences in answer set programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Semantic characterization of rational closure: from propositional logic to description logics
• Description logic programs under probabilistic uncertainty and fuzzy vagueness
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Reasoning within fuzzy OWL 2 EL revisited
• Logic programs and connectionist networks
• Another perspective on default reasoning
• A reconstruction of multipreference closure
• Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
• On the KLM properties of a fuzzy DL with typicality
• Defeasible Inheritance-Based Description Logics
• Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic
• Preferential Description Logics
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
• Rational Closure for Defeasible Description Logics
• Efficient Inferencing for OWL EL
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
• Self-organizing maps.
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases