Building Information Modeling Using Constraint Logic Programming

DOI10.1017/S1471068422000138OpenAlexW4285494057WikidataQ114116304 ScholiaQ114116304MaRDI QIDQ5038474FDOQ5038474

Authors: Joaquin Arias, Seppo Törmä, M. Carro, Gopal Gupta 

Publication date: 30 September 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.08572

zbMATH Keywords

answer set programmingconstraintcommonsense reasoningbuilding information modeling

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• \textit{clingcon}: the next generation
• Constraint answer set solver EZCSP and why integration schemas matter
• Constraint answer set programming without grounding

Uses Software

• Clingcon
• ezcsp
• sCASP

This page was built for publication: Building Information Modeling Using Constraint Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5038474)