The following pages link to (Q3011296):
Displaying 16 items.
- A General Framework for Stable Roommates Problems using Answer Set Programming (Q5140025) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- (Q5140734) (← links)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks (Q5172619) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Introducing Computer Science to High School Students Through Logic Programming (Q5197750) (← links)
- onlineSPARC: A Programming Environment for Answer Set Programming (Q5197754) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- A note on the McKelvey uncovered set and Pareto optimality (Q5964644) (← links)
- Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells (Q6059225) (← links)
- Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation (Q6063862) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
- Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding (Q6175523) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)
- Generative Datalog and answer set programming (extended abstract) (Q6545514) (← links)
- Abduction of trap invariants in parameterized systems (Q6649511) (← links)
