A Python program that calculates the syntactic similarity between two Prolog programs. This similarity metric has been employed in the following paper, which has been accepted at EDBT 2025.
- Kouvaras A., Mantenoglou P., Artikis A., Generating Activity Definitions with Large Language Models
In this work, we used our metric to assess the quality of LLM-generated logic programs, specifying composite activity definitions in the language of the composite activity recognition framework RTEC, by comparing them with hand-crafted ones.
This program comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions; See the GNU General Public License v3 for more details.
For more information and feedback, do not hesitate sending us an email or adding an issue in this repository.
- RTEC: Run-Time Event Calculus. RTEC is an Event Calculus implementation optimised for stream reasoning.
- iRTEC: Incremental RTEC. iRTEC supports incremental reasoning, handling efficiently the delays and retractions in data streams.
- oPIEC: Online Probabilistic Interval-Based Event Calculus. oPIEC supports Event Calculus reasoning over data streams under uncertainty.
- Wayeb: Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala. It is based on symbolic automata and Markov models.