The following pages link to Gringo (Q16800):
Displaying 7 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Search methods for tile sets in patterned DNA self-assembly (Q395021) (← links)
- Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming (Q2851257) (← links)
- Detecting inconsistencies in large biological networks with answer set programming (Q3008410) (← links)
- Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164) (← links)
- Taming primary key violations to query large inconsistent data via ASP (Q4593009) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
