SLAP: specification logic of actions with probability

DOI10.1016/j.jal.2013.09.001zbMath1327.68164OpenAlexW2043209490MaRDI QIDQ2447174

Gavin Rens, Gerhard Lakemeyer, Thomas Andreas Meyer

Publication date: 24 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.09.001

zbMATH Keywords

modal logicsystems of linear inequalitiestableau methodprobabilistic actions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The independent choice logic for modelling multiple agents under uncertainty
• Reasoning about noisy sensors and effectors in the situation calculus
• A logic for reasoning about probabilities
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• A survey of algorithmic methods for partially observed Markov decision processes
• On the SUP-INF Method for Proving Presburger Formulas
• State of the Art—A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms
• A Decision Procedure for the First Order Theory of Real Addition with Order
• Reasoning about knowledge and probability
• Formalizing action and change in modal logic I: the frame problem
• Reasoning about actions with sensing under qualitative and probabilistic uncertainty
• The Independent Choice Logic and Beyond
• Planning and control in artificial intelligence: A unifying perspective

This page was built for publication: SLAP: specification logic of actions with probability