Reactive answer set programming

DOI10.1007/978-3-642-20895-9_7MaRDI QIDQ3003243zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Logic programming (68N17)

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

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}\)

Describes a project that uses

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)