Pinned Repositories
Angry-HEX
An artificial player for the popular video game Angry Birds
EmbASP
A general framework for embedding Logic Programming in complex systems
LoIDE
Web-based IDE for Logic Programming
Guarded-saturation
Resolution-based rewriting algorithm from Guarded Tuple Generating Dependencies (GTGDs) to Datalog
RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies
AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
probs-ontology
Ontology, scripts and documentation for the PRObs ontology
AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
potassco.github.io
ℹ️ The Potassco website
w3id.org
Website source code for w3id.org.
stefanogermano's Repositories
stefanogermano/AltaCV
Yet another alternative curriculum vitae/résumé class with LaTeX
stefanogermano/potassco.github.io
ℹ️ The Potassco website
stefanogermano/w3id.org
Website source code for w3id.org.