E-LIB Suche - Ergebnisse für: KAMINSKI, ROLAND

1

On the Foundations of Grounding in Answer Set Programming:

KAMINSKI, ROLAND ; SCHAUB, TORSTEN
Theory and Practice of Logic Programming. 23 (2022) 6 - p. 1138-1197 , 2022

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

2

Plingo: A System for Probabilistic Reasoning in Clingo Base..:

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

Hahn, Susana ; Janhunen, Tomi ; Kaminski, Roland... - p. 54-62 , 2022

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

3

How to Build Your Own ASP-based System?!:

KAMINSKI, ROLAND ; ROMERO, JAVIER ; SCHAUB, TORSTEN.
Theory and Practice of Logic Programming. 23 (2021) 1 - p. 299-361 , 2021

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

4

The Return of xorro:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Everardo, Flavio ; Janhunen, Tomi ; Kaminski, Roland. - p. 284-297 , 2019

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

5

ASP-Core-2 Input Language Format:

CALIMERI, FRANCESCO ; FABER, WOLFGANG ; GEBSER, MARTIN...
Theory and Practice of Logic Programming. 20 (2019) 2 - p. 294-309 , 2019

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

6

telingo = ASP + Time:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Cabalar, Pedro ; Kaminski, Roland ; Morkisch, Philip. - p. 256-269 , 2019

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

7

Temporal Answer Set Programming on Finite Traces:

CABALAR, PEDRO ; KAMINSKI, ROLAND ; SCHAUB, TORSTEN.
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 406-420 , 2018

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

8

Multi-shot ASP solving with clingo:

GEBSER, MARTIN ; KAMINSKI, ROLAND ; KAUFMANN, BENJAMIN.
Theory and Practice of Logic Programming. 19 (2018) 1 - p. 27-82 , 2018

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

9

The Potsdam Answer Set Solving Collection 5.0:

Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin...
KI - Künstliche Intelligenz. 32 (2018) 2-3 - p. 181-182 , 2018

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

10

Computing Diverse Boolean Networks from Phosphoproteomic Ti..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Razzaq, Misbah ; Kaminski, Roland ; Romero, Javier... - p. 59-74 , 2018

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

11

Clingo goes linear constraints over reals and integers:

JANHUNEN, TOMI ; KAMINSKI, ROLAND ; OSTROWSKI, MAX...
Theory and Practice of Logic Programming. 17 (2017) 5-6 - p. 872-888 , 2017

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

12

Abstract gringo:

GEBSER, MARTIN ; HARRISON, AMELIA ; KAMINSKI, ROLAND..
Theory and Practice of Logic Programming. 15 (2015) 4-5 - p. 449-463 , 2015

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

13

aspeed: Solver scheduling via answer set programming:

HOOS, HOLGER ; KAMINSKI, ROLAND ; LINDAUER, MARIUS.
Theory and Practice of Logic Programming. 15 (2014) 1 - p. 117-142 , 2014

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

14

Minimal intervention strategies in logical signaling networ..:

KAMINSKI, ROLAND ; SCHAUB, TORSTEN ; SIEGEL, ANNE.
Theory and Practice of Logic Programming. 13 (2013) 4-5 - p. 675-690 , 2013

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

15

Reactive Answer Set Programming:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Gebser, Martin ; Grote, Torsten ; Kaminski, Roland. - p. 54-66 , 2011

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