LoIDE
LoIDE is a web-based IDE for Logic Programming.
Team
- Stefano Germano (Scientific Coordinator)
- Eliana Palermiti
- Rocco Palermiti
- Alexander Karaulshchikov
- Giorgio Andronico
- Marco Duca
- Francesco Calimeri (Scientific Supervisor)
From the Department of Mathematics and Computer Science of the University of Calabria.
Contacts
loide “AT” mat.unical.it
Guidelines
General info are available in our README.
Users
See the guides in our Wiki:
Developers
See our documentation:
License
This project is licensed under the MIT License.
Publications
- Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca
Developing ASP Programs with ASPIDE and LoIDE
Künstliche Intelligenz (KI 2018)
paper - Stefano Germano, Francesco Calimeri, Eliana Palermiti
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
International Symposium on Practical Aspects of Declarative Languages (PADL 2018)
paper - Stefano Germano, Francesco Calimeri, Eliana Palermiti
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
ArXiv Preprint (ArXiv, 2017)
paper