asprin
From MaRDI portal
Asprin
Cited in
(43)- Knowledge representation analysis of graph mining
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Semiring programming: a semantic framework for generalized sum product problems
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
- Computing Diverse Optimal Stable Models
- AFRA
- ASSAT
- LUPS
- DLV
- Potassco
- plasp
- Galliwasp
- Clingcon
- Clingo
- WASP
- ASPMT2SMT
- MUSer2
- ROSoClingo
- ConArg2
- Dyna
- MiniSearch
- asprilo
- ezcsp
- Democratix
- Moviola
- QUICKXPLAIN
- ActHEX
- circumscriptino
- DLV2
- hclasp
- LP2SAT
- maxino
- pyglaf
- CPCES
- eclingo
- GeoSPARQL
- Answer set programming
- Multi-shot ASP solving with clingo
- inTrees
- Optimising business process discovery using answer set programming
- Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
- Paraconsistency and word puzzles
This page was built for software: asprin
