Kurzawa, MarianMarianKurzawa2024-10-222024-10-222024-09-1835. Forum Bauinformatik, fbi 2024: 382-389https://hdl.handle.net/11420/49596The topic of rule-based navigation within buildings is an area of current research. The objective to make a public building accessible for all user groups requires the implementation of complex geometric rule checks. This paper defines exemplary rules based on the German building code DIN 18040-1 and implements rule checks using a declarative programming approach (Answer Set Programming). The results indicate that the declarative implementation has some significant limitations in terms of complexity (linear solver). However, it also offers a promising approach to constraint-based geometric rule checking, which could be a valuable contribution to future research.enhttps://creativecommons.org/licenses/by/4.0/AlgorithmsDeclarative ProgrammingRule checkArts::720: ArchitectureTechnology::690: Building, ConstructionComputer Science, Information and General Works::004: Computer SciencesConference Paper10.15480/882.1350410.15480/882.13504Conference Paper