asprin

swMATH30408MaRDI QIDQ42122FDOQ42122

Author name not available (Why is that?)

Official website: https://potassco.org/asprin/

Described by source

• Implementing preferences with asprin

Cited In (42)

• 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
• LUPS
• DLV
• Potassco
• plasp
• Answer set programming
• Galliwasp
• Clingcon
• Clingo
• WASP
• ASPMT2SMT
• MUSer2
• ROSoClingo
• Multi-shot ASP solving with clingo
• ConArg2
• Dyna
• MiniSearch
• asprilo
• ezcsp
• Democratix
• Moviola
• QUICKXPLAIN
• ActHEX
• circumscriptino
• DLV2
• hclasp
• LP2SAT
• maxino
• pyglaf
• CPCES
• eclingo
• GeoSPARQL
• 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