Automatic conjecturing of P-recursions using lifted inference

DOI10.1007/978-3-030-97454-1_2zbMath1524.68347OpenAlexW4213425519MaRDI QIDQ6166545

Yuyi Wang, Timothy van Bremen, Ondřej Kuželka, Filip Železný, Jáchym Barvínek

Publication date: 3 August 2023

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-97454-1_2

zbMATH Keywords

conjectureslifted inferenceweighted model counting

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Logic in artificial intelligence (68T27) Model theory of finite structures (03C13)

Cites Work

• Unnamed Item
• Automated conjecture making in number theory using HR, Otter and Maple
• Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra
• On the Decision Problem for Two-Variable First-Order Logic
• Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
• Weighted model counting beyond two-variable logic

This page was built for publication: Automatic conjecturing of P-recursions using lifted inference