Pages that link to "Item:Q4593009"
From MaRDI portal
The following pages link to Taming primary key violations to query large inconsistent data via ASP (Q4593009):
Displaying 9 items.
- Consistent query answering for primary keys in Datalog (Q2035471) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Consistent query answering via ASP from different perspectives: Theory and practice (Q5299585) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)