Keyword:Prolog

Papers
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 no. 9031
A Security-Board Director Research Project at Github Frank Appiah EasyChair Preprint no. 4603
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
SWRL2SPIN: Converting SWRL to SPIN Nick Bassiliades EasyChair Preprint no. 520
Top-down and Bottom-up Evaluation Procedurally Integrated David Scott Warren EasyChair Preprint no. 206