scientific article; zbMATH DE number 6261524
From MaRDI portal
Publication:5398039
DOI10.4230/LIPIcs.ICLP.2012.14zbMath1281.68174MaRDI QIDQ5398039
Stef de Pooter, Bart Bogaerts, Broes de Cat, Hendrik Blockeel, Sicco Verwer, Jan Ramon, Marc Denecker, Maurice Bruynooghe, Anthony Labarre
Publication date: 25 February 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stemmatologylogic programmingknowledge representation and reasoningdeclarative modelingknowledge base systems\(\mathrm{FO}(\cdot )\)IDP frameworkphylogene
Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)
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
Uses Software
This page was built for publication:
