Supplementary material related to the GC-FOVE system, presented in:
- Lifted Variable Elimination: Decoupling the Operators from the Constraint Language. N. Taghipour, D. Fierens, J. Davis, H. Blockeel; The Journal of Artificial Intelligence Research, volume 47, pages 393-439, 2013.
- Lifted Variable Elimination with Arbitrary Constraints. N. Taghipour, D. Fierens, J. Davis, H. Blockeel; In Proceedings of the 15th International Conference on Artificial Intelligence and Statistics (AISTATS), 2012; La Palma, Canary Islands.
The full version of the conference paper, including the appendix.
Our other publications on lifted variable elimination
- Generalized Counting for Lifted Variable Elimination. N. Taghipour, J. Davis, H. Blockeel; International Conference on Inductive Logic Programming (ILP), 2013, Rio de Janeiro, Brazil.
- Completeness results for lifted variable elimination. N. Taghipour, D. Fierens, G. Van den Brroeck, J. Davis, H. Blockeel; In Proceedings of the 16th International Conference on Artificial Intelligence and Statistics (AISTATS), 2013; Scottsdale, AZ, USA.
For more information, contact Nima Taghipour.