Pages that link to "Item:Q4559795"
From MaRDI portal
The following pages link to Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795):
Displaying 5 items.
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Enhancing Magic Sets with an Application to Ontological Reasoning (Q5108494) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)
