The following pages link to (Q4800172):
Displayed 11 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← 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)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
- ASP and subset minimality: enumeration, cautious reasoning and MUSes (Q6103676) (← links)