Speeding up operations on feature terms using constraint programming and variable symmetry
From MaRDI portal
Publication:2341834
DOI10.1016/j.artint.2014.11.010zbMath1328.68171MaRDI QIDQ2341834
Santiago Ontañón, Pedro Meseguer
Publication date: 6 May 2015
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2014.11.010
symmetries; inductive logic programming; feature terms; structured machine learning; constraint programing
Uses Software
Cites Work
- Similarity measures over refinement graphs
- Symmetry definitions for constraint satisfaction problems
- Structured machine learning: the next ten years
- Bottom-up induction of feature terms
- The Logic of Typed Feature Structures
- Order-Sorted Generalization
- The complexity of theorem-proving procedures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item