IDP3

MaRDI QIDQ34727swMATHFDO

Official website https://dtai.cs.kuleuven.be/krr/files/bib/manuals/idp3-manual.pdf

Described by source

• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3

Cited in

(24)

• DeepLog
• Lparse
• DLV
• Learning decision trees with flexible constraints and objectives using integer optimization
• WASP
• libalf
• Knowledge representation analysis of graph mining
• OpenRuleBench
• ROSoClingo
• FLORA
• RALib
• MuACOsm
• miniKanren
• IDP
• lp2normal
• OMiGA
• DLV2
• Shared aggregate sets in answer set programming
• Stable-unstable semantics: Beyond NP with normal logic programs
• The KB paradigm and its application to interactive configuration
• The Seventh Answer Set Programming Competition: Design and Results
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• AALpy

This page was built for software: IDP3