IDP3

swMATH22941MaRDI QIDQ34727FDOQ34727

Author name not available (Why is that?)

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)

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

This page was built for software: IDP3