Detection and exploitation of functional dependencies for model generation

DOI10.1017/S147106841300029XMaRDI QIDQ5398289zbMATH OpenOpenAlexFDO

Authors Broes de Cat, Maurice Bruynooghe

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

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

Recommendations

• Representing constraint satisfaction problems in answer set programming
• Constraint Answer Set Solving
• Logic Programming
• A translational approach to constraint answer set solving
• Logics in Artificial Intelligence

Cites work

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

Cited in

(3)

• Exploiting functional dependencies in declarative problem specifications
• Logic of temporal attribute implications
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3

Describes a project that uses

Uses Software

• z3
• Clingcon

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398289)