iensen/LtoASPtranslator
This is a translator from the language L to Answer Set Prolog (ASP)
Public GitHub Catalog
Discovered Oct 1, 2026
iensen / plog2.0
A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#20499988GitHub System ID
iensenOrganization / User
PublicVisibility
ActiveCatalog Status
More from iensen
iensen/LEDParser
This is a parser for LED (https://github.com/qianji/LEDParser) that takes a LED program and returns an abstract syntax tree.
iensen/genparser
The project is an implementation of a generic parser that takes a lexicon file, a grammar file and an input file and produces a concise abstract syntax tree. The desired structure of the tree is defined by the grammar file.
iensen/elps
ELPS: epistemic logic programs with sorts