Building Information Modeling Using Constraint Logic Programming

DOI10.1017/S1471068422000138OpenAlexW4285494057WikidataQ114116304 ScholiaQ114116304MaRDI QIDQ5038474

Manuel Carro, Seppo Törmä, Joaquin Arias, 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

constraintcommonsense reasoninganswer set programmingbuilding information modeling

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Clingcon
• ezcsp
• sCASP

Cites Work

• Constraint Answer Set Programming without Grounding
• Clingcon: The next generation
• Constraint answer set solver EZCSP and why integration schemas matter

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