oClingo
From MaRDI portal
Software:21304
No author found.
Related Items (14)
Gearing Up for Effective ASP Planning ⋮ LARS: a logic-based framework for analytic reasoning over streams ⋮ Unnamed Item ⋮ Modular action language ⋮ Programming in logic without logic programming ⋮ Unnamed Item ⋮ Reactive Answer Set Programming ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ D-FLAT: Declarative problem solving using tree decompositions and answer-set programming ⋮ Module theorem for the general theory of stable models ⋮ Multi-shot ASP solving with clingo ⋮ Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming ⋮ Evaluating Answer Set Clause Learning for General Game Playing ⋮ I-DLV-sr: A Stream Reasoning System based on I-DLV
This page was built for software: oClingo
