Pages that link to "Item:Q1761291"
From MaRDI portal
The following pages link to Conflict-driven answer set solving: from theory to practice (Q1761291):
Displaying 10 items.
- Logic Programming and Nonmonotonic Reasoning (Q5424882) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Gelfond-Zhang aggregates as propositional formulas (Q5919599) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
- Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods (Q6187007) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)
- Short Boolean formulas as explanations in practice (Q6545522) (← links)
- Computing MUS-based inconsistency measures (Q6545579) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)