Grounding FO and FO(ID) with Bounds

DOI10.1613/JAIR.2980zbMath1210.68107arXiv1401.3840OpenAlexW3105494749WikidataQ129501631 ScholiaQ129501631MaRDI 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

zbMATH Keywords

first-order logicinductive definitions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 ⋮ Writing Declarative Specifications for Clauses

This page was built for publication: Grounding FO and FO(ID) with Bounds