A PDL APPROACH FOR QUALITATIVE VELOCITY

DOI10.1142/S021848851100685XzbMath1214.68380OpenAlexW2167661984MaRDI QIDQ3005946

Emilio Muñoz-Velasco, Manuel Ojeda Aciego, Alfredo Burrieza

Publication date: 10 June 2011

Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s021848851100685x

zbMATH Keywords

hybrid logicqualitative reasoningpropositional dynamic logicorder-of-magnitude reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A logic framework for reasoning with movement based on fuzzy qualitative representation

Cites Work

• Unnamed Item
• An essay in combinatory dynamic logic
• Logics of communication and change
• A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs
• Fuzzy qualitative trigonometry
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• GOLOG: A logic programming language for dynamic domains
• Qualitative Probability and Order of Magnitude Reasoning

This page was built for publication: A PDL APPROACH FOR QUALITATIVE VELOCITY