A logic framework for reasoning with movement based on fuzzy qualitative representation
From MaRDI portal
Publication:2350485
DOI10.1016/j.fss.2013.07.014zbMath1315.68241OpenAlexW2039520924MaRDI QIDQ2350485
Manuel Ojeda Aciego, Emilio Muñoz-Velasco, Alfredo Burrieza
Publication date: 24 June 2015
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2013.07.014
moving objectspropositional dynamic logicreasoning under uncertaintyorder-of-magnitude reasoningqualitative reasoning with fuzzy data
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Qualitative reasoning about relative direction of oriented points
- On the improvement of combined fuzzy topological and directional relations information
- Spatial reasoning in a fuzzy region connection calculus
- Logics of communication and change
- Fuzzy qualitative trigonometry
- Imprecise reasoning in geographic information systems
- Fuzzy region connection calculus: An interpretation based on closeness
- A PDL APPROACH FOR QUALITATIVE VELOCITY
- MASL: A Logic for the Specification of Multiagent Real-Time Systems
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
- Propositional Dynamic Logic for Message-Passing Systems