Keyword:Prolog

Papers
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