Reactive answer set programming

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

Authors: Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub 

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 (11)

• Efficient solving of time-dependent answer set programs
• 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
• Ricochet Robots reloaded: a case-study in multi-shot ASP solving
• Multi-shot ASP solving with clingo
• Online action language \(o\mathcal {BC}+\)
• Reactive concurrent programming revisited
• Gearing up for effective ASP planning
• Reactive Answer Set Programming
• Modular action language \(\mathcal{ALM}\)

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)