oClingo

oClingo is a system for reactive answer set programming, extending gringo and clasp for handling external modules provided at runtime by a controller. It was written by Torsten Grote and is provided as Free Software that gives you the freedom to use it for any purpose as well as to study, share and improve it.


References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: A logic-based framework for analytic reasoning over streams (2018)
  2. Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg: Reactive multi-context systems: heterogeneous reasoning in dynamic environments (2018)
  3. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  4. Inclezan, Daniela; Gelfond, Michael: Modular action language (\mathcalALM) (2016)
  5. Kowalski, Robert; Sadri, Fariba: Programming in logic without logic programming (2016)
  6. Babb, Joseph; Lee, Joohyung: Cplus2ASP: computing action language (\mathcalC+) in answer set programming (2013)
  7. Cerexhe, Timothy; Sabuncu, Orkunt; Thielscher, Michael: Evaluating answer set clause learning for general game playing (2013)
  8. Babb, Joseph; Lee, Joohyung: Module theorem for the general theory of stable models (2012)
  9. Bliem, Bernhard; Morak, Michael; Woltran, Stefan: D-FLAT: declarative problem solving using tree decompositions and answer-set programming (2012)
  10. Gebser, Martin; Kaufmann, Roland; Schaub, Torsten: Gearing up for effective ASP planning (2012)
  11. Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten: Reactive answer set programming (2011)
  12. Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius: Potassco: the Potsdam answer set solving collection (2011)