Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search

DOI10.1007/978-3-319-11558-0_41zbMath1362.68276OpenAlexW2254428435MaRDI QIDQ2938524

François Schwarzentruber, Jin-Kao Hao

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_41

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Drawing interactive Euler diagrams from region connection calculus specifications ⋮ Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spatial reasoning in a fuzzy region connection calculus
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search
• Topological Logics with Connectedness over Euclidean Spaces
• Decidability of string graphs
• Modal Logics of Topological Relations
• Diagrammatic Representation and Inference
• Recognizing string graphs in NP

This page was built for publication: Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search