Keyword:Prolog

Publications
Automated Theorem Proving for Prolog Verification Fred Mesnard, Thierry Marianne and Etienne Payet In:LPAR 2024 Complementary Volume
Learning Data Structure Shapes from Memory Graphs Jan H. Boockmann and Gerald Luettgen In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Rule-Based Generation of Synthetic Genetic Circuits Daisuke Kiga, Kazuteru Miyazaki, Shoya Yasuda, Ritsuki Hamada, Sota Okuda, Ryoji Sekine, Naoki Kodama and Masayuki Yamamura EasyChair Preprint 9031
A Security-Board Director Research Project at Github Frank Appiah EasyChair Preprint 4603
SWRL2SPIN: Converting SWRL to SPIN Nick Bassiliades EasyChair Preprint 520
Top-down and Bottom-up Evaluation Procedurally Integrated David Scott Warren EasyChair Preprint 206