E-LIB Suche - Ergebnisse für: SCHAUB, TORSTEN

1

Investigating Methods for ASPmT-Based Design Space Explorat..:

Müller, Luise ; Wanko, Philipp ; Haubelt, Christian.
International Journal of Parallel Programming. 52 (2024) 1-2 - p. 59-92 , 2024

Link: https://doi.org/10.1007/..

2

Clingraph: A System for ASP-based Visualization:

HAHN, SUSANA ; SABUNCU, ORKUNT ; SCHAUB, TORSTEN.
Theory and Practice of Logic Programming. , 2024

Link: https://doi.org/10.1017/..

3

Combinatorial Reconfiguration with Answer Set Programming: ..:

, In: WALCOM: Algorithms and Computation; Lecture Notes in Computer Science,

Yamada, Yuya ; Banbara, Mutsunori ; Inoue, Katsumi.. - p. 242-256 , 2024

Link: https://doi.org/10.1007/..

4

Answer Set Programming Made Easy:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Fandinno, Jorge ; Mishra, Seemran ; Romero, Javier. - p. 133-150 , 2023

Link: https://doi.org/10.1007/..

5

Solving Vehicle Equipment Specification Problems with Answe..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Takeuchi, Raito ; Banbara, Mutsunori ; Tamura, Naoyuki. - p. 232-249 , 2023

Link: https://doi.org/10.1007/..

6

Evolutionary System Design with Answer Set Programming:

Haubelt, Christian ; Müller, Luise ; Neubauer, Kai..
Algorithms. 16 (2023) 4 - p. 179 , 2023

Link: https://doi.org/10.3390/..

7

Metric dynamic equilibrium logic:

Becker, Arvid ; Cabalar, Pedro ; Diéguez, Martín...
Journal of Applied Non-Classical Logics. 33 (2023) 3-4 - p. 495-519 , 2023

Link: https://doi.org/10.1080/..

8

Hamiltonian Cycle Reconfiguration with Answer Set Programmi..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Hirate, Takahiro ; Banbara, Mutsunori ; Inoue, Katsumi... - p. 262-277 , 2023

Link: https://doi.org/10.1007/..

9

Recongo: Bounded Combinatorial Reconfiguration with Answer ..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Yamada, Yuya ; Banbara, Mutsunori ; Inoue, Katsumi. - p. 278-286 , 2023

Link: https://doi.org/10.1007/..

10

Solving an Industrial-Scale Warehouse Delivery Problem with..:

Rajaratnam, David ; Schaub, Torsten ; Wanko, Philipp...
Algorithms. 16 (2023) 4 - p. 216 , 2023

Link: https://doi.org/10.3390/..

11

On the Semantics of Hybrid ASP Systems Based on Clingo:

Cabalar, Pedro ; Fandinno, Jorge ; Schaub, Torsten.
Algorithms. 16 (2023) 4 - p. 185 , 2023

Link: https://doi.org/10.3390/..

12

A general framework for preferences in answer set programmi..:

Brewka, Gerhard ; Delgrande, James ; Romero, Javier.
Artificial Intelligence. 325 (2023) - p. 104023 , 2023

Link: https://doi.org/10.1016/..

13

Past-Present Temporal Programs over Finite Traces:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Cabalar, Pedro ; Diéguez, Martín ; Laferrière, François. - p. 787-795 , 2023

Link: https://doi.org/10.1007/..

14

Answer Set Planning: A Survey:

CAO TRAN, SON ; PONTELLI, ENRICO ; BALDUCCINI, MARCELLO.
Theory and Practice of Logic Programming. 23 (2022) 1 - p. 226-298 , 2022

Link: https://doi.org/10.1017/..

15

On the Generalization of Learned Constraints for ASP Solvin..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,

Romero, Javier ; Schaub, Torsten ; Strauch, Klaus - p. 20-37 , 2022

Link: https://doi.org/10.1007/..