Skip to content

Latest commit

 

History

History
30 lines (25 loc) · 1.49 KB

2021-01-git-operations-as-planning-problems.md

File metadata and controls

30 lines (25 loc) · 1.49 KB
uuid title published description content_tags date modified cover_image
dc6e6d10-c460-4d3c-8fe2-4ce7535b4af1
Modelling Git Operations as Planning Problems
true
Bachelor Thesis. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.
Git
PDDL
Planning-System
dev
2021-01-20
2023-09-18 11:41:51 UTC
/assets/2021-01-git-operations-as-planning-problems.png

Abstract

Version control systems use a graph data structure to track revisions of files. Those graphs are mutated with various commands by the respective version control system. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.

Download Thesis

Cite

@thesis{bachmann2021,
	title        = {Modelling Git Operations as Planning Problems},
	author       = {Tim Bachmann},
	year         = {2021},
  month        = {01},
	type         = {Bachelor's Thesis},
	school       = {University of Basel},
	doi          = {10.13140/RG.2.2.24784.17922}
}