Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1705.04569
Cited By
Clingcon: The Next Generation
12 May 2017
Mutsunori Banbara
B. Kaufmann
M. Ostrowski
Torsten Schaub
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Clingcon: The Next Generation"
18 / 18 papers shown
ASP-FZN: A Translation-based Constraint Answer Set Solver
Theory and Practice of Logic Programming (TPLP), 2025
Thomas Eiter
Tobias Geibinger
Tobias Kaminski
Nysret Musliu
J. Oetsch
SSeg
270
0
0
30 Jul 2025
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
Theory and Practice of Logic Programming (TPLP), 2025
Alexander Beiser
Markus Hecher
S. Woltran
143
0
0
23 Jul 2025
Compiling Metric Temporal Answer Set Programming
Arvid Becker
Pedro Cabalar
Martín Diéguez
J. Romero
Susana Hahn
Torsten Schaub
123
0
0
09 Jun 2025
Strong Equivalence in Answer Set Programming with Constraints
Pedro Cabalar
Jorge Fandinno
Torsten Schaub
P. Wanko
236
1
0
06 Feb 2025
Finite Groundings for ASP with Functions: A Journey through Consistency
Lukas Gerlach
David Carral
Markus Hecher
LRM
99
0
0
08 May 2024
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
Theory and Practice of Logic Programming (TPLP), 2024
Giovanni Amendola
Tobias Berei
Giuseppe Mazzotta
Francesco Ricca
134
1
0
04 Jan 2024
Explainable Answer-set Programming
International Conference on Logic Programming (ICLP), 2023
Tobias Geibinger
LRM
214
2
0
30 Aug 2023
Unifying Framework for Optimizations in non-boolean Formalisms
Theory and Practice of Logic Programming (TPLP), 2022
Yuliya Lierler
74
2
0
16 Jun 2022
Answer Set Planning: A Survey
Theory and Practice of Logic Programming (TPLP), 2022
Tran Cao Son
Enrico Pontelli
M. Balduccini
Torsten Schaub
LRM
221
28
0
11 Feb 2022
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Theory and Practice of Logic Programming (TPLP), 2020
Riccardo Bertolucci
Alessio Capitanelli
Carmine Dodaro
Nicola Leone
Marco Maratea
Fulvio Mastrogiovanni
Mauro Vallati
128
12
0
02 Oct 2020
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
Wolf De Wulf
B. Bogaerts
102
1
0
22 Sep 2020
How to build your own ASP-based system?!
Roland Kaminski
J. Romero
Torsten Schaub
P. Wanko
188
43
0
15 Aug 2020
SMT-based Constraint Answer Set Solver EZSMT+
International Conference on Principles of Knowledge Representation and Reasoning (KR), 2019
Da Shen
Yuliya Lierler
229
18
0
08 May 2019
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming
Martin Gebser
Philipp Obermeier
Michel Ratsch-Heitmann
Mario Runge
Torsten Schaub
152
41
0
27 Apr 2018
Experimenting with robotic intra-logistics domains
Martin Gebser
Philipp Obermeier
T. Otto
Torsten Schaub
Orkunt Sabuncu
Van Nguyen
Tran Cao Son
196
37
0
26 Apr 2018
PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making
International Joint Conference on Artificial Intelligence (IJCAI), 2018
Fangkai Yang
Daoming Lyu
Bo Liu
Steven M. Gustafson
OffRL
299
151
0
20 Apr 2018
Clingo goes Linear Constraints over Reals and Integers
Tomi Janhunen
Roland Kaminski
M. Ostrowski
Torsten Schaub
S. Schellhorn
P. Wanko
130
60
0
13 Jul 2017
Multi-shot ASP solving with clingo
Martin Gebser
Roland Kaminski
B. Kaufmann
Torsten Schaub
LRM
ReLM
298
321
0
27 May 2017
1
Page 1 of 1
