Pinned Repositories
administration
ai-projects-autograder
anthem
🎼 Translate answer set programs to first-order theorem prover language
axiomatic-characterization
bibliography
📚 BibTeX bibliography files of all papers referenced by the group
cgraphs-med
clingo
🤔 A grounder and solver for logic programs.
clingo-fork
An implementation of fork logic programs
computation
eclingo
A solver for epistemic logic programs.
jorgefandinno's Repositories
jorgefandinno/eclingo
A solver for epistemic logic programs.
jorgefandinno/ai-projects-autograder
jorgefandinno/anthem
🎼 Translate answer set programs to first-order theorem prover language
jorgefandinno/axiomatic-characterization
jorgefandinno/bibliography
📚 BibTeX bibliography files of all papers referenced by the group
jorgefandinno/clingo
🤔 A grounder and solver for logic programs.
jorgefandinno/course
The main repository integrating the LaTeX beamer-based slides
jorgefandinno/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
jorgefandinno/eclingo-slides
jorgefandinno/epistemic-tp
jorgefandinno/extensions
jorgefandinno/gradescope
A Python library to fetch Gradescope grade reports
jorgefandinno/grounding
jorgefandinno/introduction
jorgefandinno/jorgefandinno
jorgefandinno/language
jorgefandinno/latex-collaboration-guide
jorgefandinno/latex-paper-template
jorgefandinno/modeling
jorgefandinno/notebooks
This repository collects notebooks for the course
jorgefandinno/operational-characterization
jorgefandinno/pdf2pptx
Convert your (Beamer) PDF slides to (Powerpoint) PPTX
jorgefandinno/Primes
Prime Number Projects in C#/C++/Python
jorgefandinno/project-elevator
jorgefandinno/project-krr-telingo
Repository for the KRR project on telingo
jorgefandinno/project-sudoku-old
jorgefandinno/python-clingox
🧰 Library with auxilary functions to use along with the clingo module.
jorgefandinno/solving
This slide deck introduces CDNL based ASP solving
jorgefandinno/systems
jorgefandinno/understanding-metaprogramming-efficience