Constraint Propagation for First-Order Logic and Inductive Definitions

DOI10.1145/2499937.2499938zbMath1353.68260arXiv1008.2121OpenAlexW2066021026WikidataQ130857638 ScholiaQ130857638MaRDI QIDQ2946703

Maurice Bruynooghe, Johan Wittocx, Marc Denecker

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1008.2121

zbMATH Keywords

first-order logicconstraint propagationaggregatesinductive definitions

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Classical first-order logic (03B10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Improving the Normalization of Weight Rules in Answer Set Programs ⋮ Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 ⋮ A framework for step-wise explaining how to solve constraint satisfaction problems

This page was built for publication: Constraint Propagation for First-Order Logic and Inductive Definitions