HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.