An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases (Q5038463): Difference between revisions

Latest revision as of 06:18, 30 July 2024

scientific article; zbMATH DE number 7595327

Language	Label	Description	Also known as
English	An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases	scientific article; zbMATH DE number 7595327

Statements

instance of

scholarly article

0 references

title

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

0 references

author

Daniele Theseider Dupré

0 references

Laura Giordano

0 references

published in

Theory and Practice of Logic Programming

0 references

publication date

30 September 2022

0 references

full work available at URL

https://arxiv.org/abs/2202.01123

0 references

zbMATH Keywords

description logics

0 references

neural networks

0 references

multi-valued logics

0 references

answer set programming

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS

0 references

Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)

0 references

Reasoning within fuzzy OWL 2 EL revisited

0 references

Rational Closure for Defeasible Description Logics

0 references

Defeasible Inheritance-Based Description Logics

0 references

Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic

0 references

Q2871198

0 references

Fuzzy description logics and \(t\)-norm based fuzzy logics

0 references

On the KLM properties of a fuzzy DL with typicality

0 references

A reconstruction of multipreference closure

0 references

A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps

0 references

Preferential Description Logics

0 references

Semantic characterization of rational closure: from propositional logic to description logics

0 references

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

0 references

Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model

0 references

Q4936225

0 references

Logic programs and connectionist networks

0 references

Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

0 references

Self-organizing maps.

0 references

Q4023089

0 references

Nonmonotonic reasoning, preferential models and cumulative logics

0 references

Efficient Inferencing for OWL EL

0 references

What does a conditional knowledge base entail?

0 references

Another perspective on default reasoning

0 references

Description logic programs under probabilistic uncertainty and fuzzy vagueness

0 references

Identifiers

DOI

10.1017/S1471068422000163

0 references

Mathematics Subject Classification ID

68N17

0 references

zbMATH DE Number

7595327

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5038463

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