A tutorial on hybrid answer set solving with \textit{clingo}

DOI10.1007/978-3-319-61033-7_6MaRDI QIDQ5086219zbMATH OpenOpenAlexFDO

Authors Roland Kaminski, Torsten Schaub, Philipp Wanko

Publication date 1 July 2022

Published in Reasoning Web. Semantic Interoperability on the Web (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-61033-7_6

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Multi-shot ASP solving with clingo
• ASP modulo CSP: the clingcon system
• Clingo goes linear constraints over reals and integers
• \textit{clingcon}: the next generation
• ASP modulo CSP: The clingcon system.

Cited in

(14)

• GK: implementing full first order default logic for commonsense reasoning (system description)
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Progress in clasp series 3
• Clingo goes linear constraints over reals and integers
• \textit{clingcon}: the next generation
• ASP modulo CSP: the clingcon system
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Train scheduling with hybrid answer set programming
• Ricochet Robots reloaded: a case-study in multi-shot ASP solving
• Multi-shot ASP solving with clingo
• Engineering an Incremental ASP Solver
• Clingraph: a system for ASP-based visualization
• Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
• How to build your own ASP-based system?!

Describes a project that uses

Uses Software

• Clingo

This page was built for publication: A tutorial on hybrid answer set solving with \textit{clingo}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086219)