Grounding FO and FO(ID) with Bounds
From MaRDI portal
Publication:3563101
DOI10.1613/jair.2980zbMath1210.68107arXiv1401.3840MaRDI QIDQ3563101
Maarten Mariën, Johan Wittocx, Marc Denecker
Publication date: 31 May 2010
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.3840
68T27: Logic in artificial intelligence
Related Items
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3, Writing Declarative Specifications for Clauses