The following pages link to asprin (Q42122):
Displaying 11 items.
- Semiring programming: a semantic framework for generalized sum product problems (Q2206471) (← links)
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600) (← links)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Answer Set Programming (Q5230475) (← links)
- Computing Diverse Optimal Stable Models (Q5240206) (← links)
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments (Q5240208) (← links)