Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600): Difference between revisions

Latest revision as of 16:13, 27 July 2024

scientific article; zbMATH DE number 7454771

Language	Label	Description	Also known as
English	Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures	scientific article; zbMATH DE number 7454771

Statements

instance of

scholarly article

0 references

title

Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (English)

0 references

0 references

0 references

0 references

Theory and Practice of Logic Programming

0 references

publication date

10 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2108.03100

0 references

zbMATH Keywords

defeasible knowledge

0 references

description logics

0 references

ASP

0 references

algebraic measures

0 references

justifiable exceptions

0 references

describes a project that uses

asprin

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4406531

0 references

Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison

0 references

Enhancing context knowledge repositories with justifiable exceptions

0 references

Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories

0 references

Disjunctive logic programs with inheritance

0 references

Automata, Languages and Programming

0 references

Combining answer set programming with description logics for the semantic web

0 references

Q4999274

0 references

Q3983043

0 references

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

0 references

Multilanguage hierarchical logics, or: How we can do without modal logics

0 references

Efficient Inferencing for OWL EL

0 references

Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics

0 references

Identifiers

DOI

10.1017/S1471068421000284

0 references

Mathematics Subject Classification ID

68N17

0 references

zbMATH DE Number

7454771

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5019600

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
+Normal rank
@@ Property / cites work @@
+Enhancing context knowledge repositories with justifiable exceptions
+Normal rank
@@ Property / cites work @@
+Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
+Normal rank
@@ Property / cites work @@
+Disjunctive logic programs with inheritance
@@ Property / cites work: Disjunctive logic programs with inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Q4999274
@@ Property / cites work: Q4999274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
+Normal rank
@@ Property / cites work @@
+Multilanguage hierarchical logics, or: How we can do without modal 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 @@
+Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
+Normal rank