A hybrid qualitative approach for relative movements

DOI10.1093/JIGPAL/JZV012MaRDI QIDQ4644518zbMATH OpenOpenAlexFDO

Authors Joanna Golińska-Pilarek, Emilio Muñoz-Velasco

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzv012

zbMATH Keywords

propositional dynamic logicqualitative reasoningrelational logicsdual tableau systemsrelative movement

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• A logic framework for reasoning with movement based on fuzzy qualitative representation
• A PDL approach for qualitative velocity
• Publication:3484385
• A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems
• A Logical Approach to Qualitative and Quantitative Reasoning

Cited in

(3)

• A PDL approach for qualitative velocity
• A logic framework for reasoning with movement based on fuzzy qualitative representation
• scientific article; zbMATH DE number 2016099 (Why is no real title available?)

This page was built for publication: A hybrid qualitative approach for relative movements

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