Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Proceedings 38th International Conference on Logic Programming


Aug 04, 2022
Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle

* EPTCS 364, 2022 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling


May 23, 2022
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin

* Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Efficient lifting of symmetry breaking constraints for complex combinatorial problems


May 14, 2022
Alice Tarzariol, Martin Gebser, Mark Law, Konstantin Schekotihin

* Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 16 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Lifting Symmetry Breaking Constraints with Inductive Logic Programming


Dec 23, 2021
Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

* to appear in Machine Learning Journal 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Aggregate Semantics for Propositional Answer Set Programs


Sep 17, 2021
Mario Alviano, Wolfgang Faber, Martin Gebser

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Reinforcement Learning Environment For Job-Shop Scheduling


Apr 08, 2021
Pierre Tassel, Martin Gebser, Konstantin Schekotihin

* 7 pages, 4 figures, 1 table 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

ASP-Core-2 Input Language Format


Nov 11, 2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

The Seventh Answer Set Programming Competition: Design and Results


Apr 19, 2019
Martin Gebser, Marco Maratea, Francesco Ricca

* 28 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming


Apr 27, 2018
Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018; 15 pages, LaTeX, 3 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
3
>>