Pages that link to "Item:Q2355463"
From MaRDI portal
The following pages link to Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings (Q2355463):
Displaying 5 items.
- Paracoherent answer set computation (Q2238696) (← links)
- Rules and reasoning. 6th international joint conference on rules and reasoning, RuleML+RR 2022, Berlin, Germany, September 26--28, 2022. Proceedings (Q2680476) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)