iClingo
From MaRDI portal
Software:23334
No author found.
Related Items (12)
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 ⋮ What is answer set programming to propositional satisfiability ⋮ Semantics for conditional literals via the SM operator ⋮ Reactive multi-context systems: heterogeneous reasoning in dynamic environments ⋮ Constraint Answer Set Solving ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving ⋮ An Incremental Answer Set Programming Based System for Finite ModelComputation ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons ⋮ Backdoors to tractable answer set programming
This page was built for software: iClingo