Situation calculus for controller synthesis in manufacturing systems with first-order state representation
DOI10.1016/j.artint.2021.103598zbMath1481.93036OpenAlexW3201107143WikidataQ114016165 ScholiaQ114016165MaRDI QIDQ2060723
Sebastian Sardiña, Giuseppe De Giacomo, Fabio Patrizi, Paolo Felli, Brian Logan
Publication date: 13 December 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2021.103598
Production models (90B30) Synthesis problems (93B50) Software, source code, etc. for problems pertaining to systems and control theory (93-04) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)
Uses Software
Cites Work
- Bounded situation calculus action theories
- Automatic behavior composition synthesis
- Non-Markovian control in the Situation Calculus
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Property persistence in the situation calculus
- ConGolog, a concurrent programming language based on the situation calculus
- Belief revision and projection in the epistemic situation calculus
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
- Applications of Action Languages in Cognitive Robotics
- Verification of Agent-Based Artifact Systems
- Some contributions to the metatheory of the situation calculus
- The mu-calculus and Model Checking
- GOLOG: A logic programming language for dynamic domains
- Strategy Representation and Reasoning in the Situation Calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Situation calculus for controller synthesis in manufacturing systems with first-order state representation
