Stanislaw J. Purgal

11 papers A* 1B 1Misc 1Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Differentiable Inductive Logic Programming in High-Dimensional Space. IJCLR Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2022	Misc	`conf`	Adversarial Learning to Reason in an Arbitrary Logic. FLAIRS Stanislaw J. Purgal, Cezary Kaliszyk
2022	J	`jnl`	Adversarial Learning to Reason in an Arbitrary Logic. CoRR Stanislaw J. Purgal, Cezary Kaliszyk
2022	J	`jnl`	Differentiable Inductive Logic Programming in High-Dimensional Space. CoRR Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2022	A*	`conf`	Learning Higher-Order Logic Programs From Failures. IJCAI Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2021	J	`jnl`	A Study of Continuous Vector Representationsfor Theorem Proving. CoRR Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
2021	J	`jnl`	A study of continuous vector representations for theorem proving. J. Log. Comput. Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk
2021	—	`conf`	Deep Learning for Automated Theorem Proving - Extended Abstract. CICM Workshops Stanislaw J. Purgal
2021	J	`jnl`	Learning Higher-Order Programs without Meta-Interpretive Learning. CoRR Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2020	B	`conf`	Improving Expressivity of Graph Neural Networks. IJCNN Stanislaw J. Purgal
2020	J	`jnl`	Improving Expressivity of Graph Neural Networks. CoRR Stanislaw J. Purgal