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