asprin
From MaRDI portal
Software:42122
No author found.
Related Items (11)
Model enumeration in propositional circumscription via unsatisfiable core analysis ⋮ Paraconsistency and word puzzles ⋮ Optimising business process discovery using answer set programming ⋮ Semiring programming: a semantic framework for generalized sum product problems ⋮ Computing Diverse Optimal Stable Models ⋮ Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ Answer Set Programming ⋮ Multi-shot ASP solving with clingo ⋮ Knowledge representation analysis of graph mining ⋮ Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
This page was built for software: asprin
