oClingo
From MaRDI portal
Software:21304
swMATH9321MaRDI QIDQ21304FDOQ21304
Author name not available (Why is that?)
Cited In (14)
- D-FLAT: declarative problem solving using tree decompositions and answer-set programming
- 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?)
- Evaluating answer set clause learning for general game playing
- Multi-shot ASP solving with clingo
- 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
