swMATH9321MaRDI QIDQ21304FDOQ21304
Author name not available (Why is that?)
Official website: http://www.cs.uni-potsdam.de/wv/oclingo/
Cited In (25)
- D-FLAT: declarative problem solving using tree decompositions and answer-set programming
- LARS
- LARS: a logic-based framework for analytic reasoning over streams
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Module theorem for the general theory of stable models
- Reactive answer set programming
- I-DLV-sr: A Stream Reasoning System based on I-DLV
- Title not available (Why is that?)
- Title not available (Why is that?)
- C-SPARQL
- Evaluating answer set clause learning for general game playing
- Coala
- CCalc
- Cplus2ASP
- D-FLAT
- f2lp
- Multi-shot ASP solving with clingo
- D*Lite
- Moviola
- ALM
- ActHEX
- Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
- Gearing up for effective ASP planning
- Programming in logic without logic programming
- Modular action language \(\mathcal{ALM}\)
This page was built for software: oClingo
