Reactive answer set programming

DOI10.1007/978-3-642-20895-9_7zbMATH Open1327.68063OpenAlexW1772789695MaRDI QIDQ3003243FDOQ3003243

Torsten Schaub, Roland Kaminski, Torsten Grote, Martin Gebser

Publication date: 26 May 2011

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/42764

Recommendations

• Multi-shot ASP solving with clingo
• Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
• Clingo goes linear constraints over reals and integers
• A dynamic-programming based ASP-solver
• Engineering an Incremental ASP Solver

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (9)

• Online Action Language $$o\mathcal {BC}$$+
• Gearing Up for Effective ASP Planning
• LARS: a logic-based framework for analytic reasoning over streams
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Module theorem for the general theory of stable models
• Modular action language
• Reactive Concurrent Programming Revisited
• Multi-shot ASP solving with clingo
• Reactive Answer Set Programming

Uses Software

• oClingo

This page was built for publication: Reactive answer set programming

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