Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950167270> ?p ?o ?g. }
- W2950167270 abstract "We consider the quantifier-free languages, Bc and Bc0, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of n-dimensional Euclidean space (n greater than 1) and, additionally, over the regular closed polyhedral sets of n-dimensional Euclidean space. The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed polyhedra in all dimensions greater than 1, and that the satisfiability problem for both languages is undecidable over both the regular closed sets and the regular closed polyhedra in the Euclidean plane. However, we also prove that the satisfiability problem for Bc0 is NP-complete over the regular closed sets in all dimensions greater than 2, while the corresponding problem for the regular closed polyhedra is ExpTime-complete. Our results show, in particular, that spatial reasoning over Euclidean spaces is much harder than reasoning over arbitrary topological spaces." @default.
- W2950167270 created "2019-06-27" @default.
- W2950167270 creator A5001878365 @default.
- W2950167270 creator A5033570514 @default.
- W2950167270 creator A5047265550 @default.
- W2950167270 creator A5082856719 @default.
- W2950167270 date "2011-10-18" @default.
- W2950167270 modified "2023-10-16" @default.
- W2950167270 title "Topological Logics with Connectedness over Euclidean Spaces" @default.
- W2950167270 cites W1483417608 @default.
- W2950167270 cites W1494501165 @default.
- W2950167270 cites W1496446432 @default.
- W2950167270 cites W1503383798 @default.
- W2950167270 cites W1518486998 @default.
- W2950167270 cites W1530375570 @default.
- W2950167270 cites W1551609000 @default.
- W2950167270 cites W1557143830 @default.
- W2950167270 cites W1580419439 @default.
- W2950167270 cites W1664281635 @default.
- W2950167270 cites W1800693550 @default.
- W2950167270 cites W1969184283 @default.
- W2950167270 cites W1981040079 @default.
- W2950167270 cites W1984067106 @default.
- W2950167270 cites W2020759939 @default.
- W2950167270 cites W2025214884 @default.
- W2950167270 cites W2050527500 @default.
- W2950167270 cites W2053967911 @default.
- W2950167270 cites W2057923867 @default.
- W2950167270 cites W2064114373 @default.
- W2950167270 cites W2075277371 @default.
- W2950167270 cites W2091637374 @default.
- W2950167270 cites W2111526090 @default.
- W2950167270 cites W2116976042 @default.
- W2950167270 cites W2133039566 @default.
- W2950167270 cites W2137917830 @default.
- W2950167270 cites W2138436353 @default.
- W2950167270 cites W2164389533 @default.
- W2950167270 cites W2168057110 @default.
- W2950167270 cites W2240909318 @default.
- W2950167270 cites W23279412 @default.
- W2950167270 cites W2408063986 @default.
- W2950167270 cites W2569667514 @default.
- W2950167270 cites W2949504124 @default.
- W2950167270 cites W298021319 @default.
- W2950167270 cites W3139934447 @default.
- W2950167270 cites W3141205388 @default.
- W2950167270 cites W791535393 @default.
- W2950167270 cites W84056104 @default.
- W2950167270 cites W852874 @default.
- W2950167270 cites W875060 @default.
- W2950167270 hasPublicationYear "2011" @default.
- W2950167270 type Work @default.
- W2950167270 sameAs 2950167270 @default.
- W2950167270 citedByCount "0" @default.
- W2950167270 crossrefType "posted-content" @default.
- W2950167270 hasAuthorship W2950167270A5001878365 @default.
- W2950167270 hasAuthorship W2950167270A5033570514 @default.
- W2950167270 hasAuthorship W2950167270A5047265550 @default.
- W2950167270 hasAuthorship W2950167270A5082856719 @default.
- W2950167270 hasConcept C114614502 @default.
- W2950167270 hasConcept C118615104 @default.
- W2950167270 hasConcept C129782007 @default.
- W2950167270 hasConcept C153269930 @default.
- W2950167270 hasConcept C164953516 @default.
- W2950167270 hasConcept C168773769 @default.
- W2950167270 hasConcept C186450821 @default.
- W2950167270 hasConcept C192034797 @default.
- W2950167270 hasConcept C2524010 @default.
- W2950167270 hasConcept C33923547 @default.
- W2950167270 hasConcept C54829058 @default.
- W2950167270 hasConcept C81332173 @default.
- W2950167270 hasConceptScore W2950167270C114614502 @default.
- W2950167270 hasConceptScore W2950167270C118615104 @default.
- W2950167270 hasConceptScore W2950167270C129782007 @default.
- W2950167270 hasConceptScore W2950167270C153269930 @default.
- W2950167270 hasConceptScore W2950167270C164953516 @default.
- W2950167270 hasConceptScore W2950167270C168773769 @default.
- W2950167270 hasConceptScore W2950167270C186450821 @default.
- W2950167270 hasConceptScore W2950167270C192034797 @default.
- W2950167270 hasConceptScore W2950167270C2524010 @default.
- W2950167270 hasConceptScore W2950167270C33923547 @default.
- W2950167270 hasConceptScore W2950167270C54829058 @default.
- W2950167270 hasConceptScore W2950167270C81332173 @default.
- W2950167270 hasLocation W29501672701 @default.
- W2950167270 hasOpenAccess W2950167270 @default.
- W2950167270 hasPrimaryLocation W29501672701 @default.
- W2950167270 hasRelatedWork W1581022180 @default.
- W2950167270 hasRelatedWork W1886995024 @default.
- W2950167270 hasRelatedWork W191595573 @default.
- W2950167270 hasRelatedWork W2055865360 @default.
- W2950167270 hasRelatedWork W2072178626 @default.
- W2950167270 hasRelatedWork W2125449161 @default.
- W2950167270 hasRelatedWork W2531021157 @default.
- W2950167270 hasRelatedWork W2570093024 @default.
- W2950167270 hasRelatedWork W2742413387 @default.
- W2950167270 hasRelatedWork W2755396645 @default.
- W2950167270 hasRelatedWork W2787312740 @default.
- W2950167270 hasRelatedWork W2902951379 @default.
- W2950167270 hasRelatedWork W2951877853 @default.
- W2950167270 hasRelatedWork W2962936384 @default.