Picture for Richard Comploi-Taupe

Richard Comploi-Taupe

Siemens AG Österreich, Vienna, Austria

Inductive Learning of Declarative Domain-Specific Heuristics for ASP

Add code
Aug 30, 2023
Viaarxiv icon

Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming

Add code
Sep 19, 2022
Figure 1 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Figure 2 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Figure 3 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Figure 4 for Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming
Viaarxiv icon

Applying Incremental Answer Set Solving to Product Configuration

Add code
Jul 18, 2022
Figure 1 for Applying Incremental Answer Set Solving to Product Configuration
Figure 2 for Applying Incremental Answer Set Solving to Product Configuration
Figure 3 for Applying Incremental Answer Set Solving to Product Configuration
Figure 4 for Applying Incremental Answer Set Solving to Product Configuration
Viaarxiv icon