Detection and exploitation of functional dependencies for model generation

DOI10.1017/S147106841300029XzbMath1286.68042OpenAlexW2040411190MaRDI QIDQ5398289

Maurice Bruynooghe, Broes de Cat

Publication date: 27 February 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106841300029x

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (2)

Logic of temporal attribute implications ⋮ Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3

Uses Software

• z3
• Clingcon

Cites Work

• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Model evolution with equality -- revised and implemented
• The alternating fixpoint of logic programs with negation
• The design of the zinc modelling language
• Principles of Constraint Programming
• Knowledge Representation, Reasoning and Declarative Problem Solving

This page was built for publication: Detection and exploitation of functional dependencies for model generation