asprin

swMATH30408MaRDI QIDQ42122FDOQ42122

Author name not available (Why is that?)

Described by source

• Implementing Preferences with asprin

Cited In (11)

• 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
• Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
• Multi-shot ASP solving with clingo
• Optimising business process discovery using answer set programming
• Answer Set Programming
• Paraconsistency and word puzzles

This page was built for software: asprin