A Tutorial on Hybrid Answer Set Solving with clingo

DOI10.1007/978-3-319-61033-7_6zbMath1491.68217OpenAlexW2623761406MaRDI QIDQ5086219

Roland Kaminski, Philipp Wanko, Torsten Schaub

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

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

Related Items (3)

Multi-shot ASP solving with clingo ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ GK: implementing full first order default logic for commonsense reasoning (system description)

Uses Software

• Clingo

This page was built for publication: A Tutorial on Hybrid Answer Set Solving with clingo