SLAP: specification logic of actions with probability

DOI10.1016/J.JAL.2013.09.001MaRDI QIDQ2447174zbMATH OpenOpenAlexFDO

Authors Gavin Rens, Gerhard Lakemeyer, Thomas 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) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• Probabilistic propositional temporal logics
• A logic for specifying stochastic actions and observations
• A decidable probability logic for timed probabilistic systems
• scientific article; zbMATH DE number 1948170
• A Logic of Probability with Decidable Model Checking

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3128787 (Why is no real title available?)
• scientific article; zbMATH DE number 3148886 (Why is no real title available?)
• scientific article; zbMATH DE number 4080966 (Why is no real title available?)
• scientific article; zbMATH DE number 3177183 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• A Decision Procedure for the First Order Theory of Real Addition with Order
• A logic for reasoning about probabilities
• A survey of algorithmic methods for partially observed Markov decision processes
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Formalizing action and change in modal logic I: the frame problem
• Handbook of modal logic
• Modal logic
• On the SUP-INF Method for Proving Presburger Formulas
• Planning and control in artificial intelligence: A unifying perspective
• Reasoning about actions with sensing under qualitative and probabilistic uncertainty
• Reasoning about knowledge and probability
• Reasoning about noisy sensors and effectors in the situation calculus
• State of the Art—A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms
• The Independent Choice Logic and Beyond
• The independent choice logic for modelling multiple agents under uncertainty

Cited in

(2)

• Tableau for the logic ILP
• A logic for specifying stochastic actions and observations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2447174)