Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
From MaRDI portal
Publication:5019600
DOI10.1017/S1471068421000284MaRDI QIDQ5019600
Loris Bozzato, Thomas Eiter, Rafael Kiesel
Publication date: 10 January 2022
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.03100
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- Enhancing context knowledge repositories with justifiable exceptions
- Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
- Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
- Combining answer set programming with description logics for the semantic web
- Disjunctive logic programs with inheritance
- Efficient Inferencing for OWL EL
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Automata, Languages and Programming
This page was built for publication: Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures