iClingo
From MaRDI portal
IClingo
Cited in
(28)- sCASP
- Gringo
- What is answer set programming to propositional satisfiability
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Conflict-driven answer set solving: from theory to practice
- Potassco
- clasp
- CCGbank
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- dynASP
- Clingo
- Backdoors to tractable answer set programming
- Semantics for conditional literals via the SM operator
- BEE
- Toward Question Answering in Travel Domains
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- The D-FLAT system for dynamic programming on tree decompositions
- aspcud
- nomore++
- GidL
- IDPDraw
- Metaopt
- Constraint Answer Set Solving
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- aGrUM
- AQuA
- SQuARE
This page was built for software: iClingo
