asp-encodings-golog

ASP encodings I developed during the writing of my bachelor thesis

Name	Name	Last commit message	Last commit date
Latest commit Webastronaut Update README.md Mar 26, 2020 910d7b9 · Mar 26, 2020 History 3 Commits
README.md	README.md	Update README.md	Mar 26, 2020
asprilo-action-theory-domain-c.lp	asprilo-action-theory-domain-c.lp	added encodings	Mar 26, 2020
asprilo-action-theory-golog-predicates.lp	asprilo-action-theory-golog-predicates.lp	added encodings	Mar 26, 2020
asprilo-goal.lp	asprilo-goal.lp	added encodings	Mar 26, 2020
asprilo-golog.lp	asprilo-golog.lp	added encodings	Mar 26, 2020
elevator-golog.lp	elevator-golog.lp	added encodings	Mar 26, 2020
elevator.lp	elevator.lp	added encodings	Mar 26, 2020
golog-evaluation-multi-agent.lp	golog-evaluation-multi-agent.lp	added encodings	Mar 26, 2020
golog-evaluation-single-agent.lp	golog-evaluation-single-agent.lp	added encodings	Mar 26, 2020

Provide feedback