oClingo
From MaRDI portal
OClingo
Cited in
(28)- 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
- PLATYPUS
- RuleML
- C-SPARQL
- DLVHEX
- Coala
- CCalc
- Cplus2ASP
- D-FLAT
- f2lp
- D*Lite
- Moviola
- ALM
- ActHEX
- I-DLV-sr: A Stream Reasoning System based on I-DLV
- scientific article; zbMATH DE number 7453147 (Why is no real title available?)
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- Evaluating answer set clause learning for general game playing
- Multi-shot ASP solving with clingo
- LARS
- 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
