Reactive Answer Set Programming

DOI10.1017/s147106842100051xzbMath1530.68053arXiv2109.10633OpenAlexW4229043553MaRDI QIDQ6063885

Krysia Broda, Unnamed Author, Fariba Sadri

Publication date: 12 December 2023

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2109.10633

zbMATH Keywords

logic programminganswer-set programmingreactivityKELPSlogic production systemsprospective reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Reactive computing as model generation
• A logic-based calculus of events
• Abductive logic programming agents with destructive databases
• LARS: a logic-based framework for analytic reasoning over streams
• From logic programming towards multi-agent systems
• Reasoning about non-immediate triggers in biological networks
• Towards Reactive Multi-Context Systems
• Multi-Criteria Optimization in Answer Set Programming
• Reactive Answer Set Programming
• An Event-Condition-Action Logic Programming Language
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• Theory and practice of constraint handling rules
• Temporal Answer Set Programming on Finite Traces
• Temporal equilibrium logic: a survey
• Programming in logic without logic programming
• Iterative Learning of Answer Set Programs from Context Dependent Examples
• ASP-Core-2 Input Language Format
• Multi-shot ASP solving with clingo
• Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
• Computational Logic in Multi-Agent Systems
• Sequential abstract-state machines capture sequential algorithms

This page was built for publication: Reactive Answer Set Programming