oClingo
From MaRDI portal
Software:21304
swMATH9321MaRDI QIDQ21304FDOQ21304
Author name not available (Why is that?)
Cited In (14)
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
- Gearing Up for Effective ASP Planning
- 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
- Modular action language
- I-DLV-sr: A Stream Reasoning System based on I-DLV
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multi-shot ASP solving with clingo
- D-FLAT: Declarative problem solving using tree decompositions and answer-set programming
- Reactive Answer Set Programming
- Evaluating Answer Set Clause Learning for General Game Playing
- Programming in logic without logic programming
This page was built for software: oClingo
