Pages that link to "Item:Q5086220"
From MaRDI portal
The following pages link to Answer Set Programming with External Source Access (Q5086220):
Displaying 3 items.
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
