Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning

DOI10.1007/978-3-319-23264-5_48zbMath1467.68175OpenAlexW2286857154MaRDI QIDQ3449241

Przemysław Andrzej Wałęga

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_48

zbMATH Keywords

qualitative reasoningdeclarative spatial reasoninganswer set programming modulo theoriesnonmonotonic spatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

This page was built for publication: Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning