Pages that link to "Item:Q5424880"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424880):
Displaying 11 items.
- Conceptual logic programs (Q854977) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Probabilistic description logic programs (Q997050) (← links)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Evolution of ontologies using ASP (Q2909136) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- ASP Based Generation of Information Terms for Constructive ɛℒ (Q4686513) (← links)
- (Q5020542) (← links)