iClingo
From MaRDI portal
Software:23334
swMATH11388MaRDI QIDQ23334FDOQ23334
Author name not available (Why is that?)
Cited In (12)
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Toward Question Answering in Travel Domains
- Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
- The D-FLAT System for Dynamic Programming on Tree Decompositions
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Conflict-driven answer set solving: from theory to practice
- Backdoors to tractable answer set programming
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- Semantics for conditional literals via the SM operator
- What is answer set programming to propositional satisfiability
- Constraint Answer Set Solving
This page was built for software: iClingo
