alabecki
I studied philosophy for 13 years and have been studying computing science at SFU since the Fall of 2014. I have been working on computational logic and a game.
Pinned Repositories
Blind-Helper
By Raissa D’Souza and Adam Labecki. Python GUI program that plays videos while playing sounds that are intended to assist the bind in perceiving the video images.
Command-Line-Five-Card-Draw
The game logic for a poker game web-application in the form of a command line desktop program.
Defeasible-Conditional-Deontic-Logic-Solver
Given a set of rules and constraints, the program ranks worlds based on their ability to satisfy said rules and lets the user check various inferences and queries.
Imperial-Times
Script Files From Unity Game
Imperialist-Bastards
Prototype of a turn-based strategy game based on the Industrial Revolution and its aftermath. Play as one of 6 Great Powers, who seek to colonize or exploit less developed nations, develop rail-lines and factories, trade goods on the World Market, build a great army and navy, and develop a thriving middle class.
P-Entailment-
A program that takes checks preference entailment relations between propositional formulas relative to a set of rules and constraints.
Propositional-Logic-Assistant-
A Python program to assist students learning propositional logic for computing science.
Strong-Equivalence-Solver
Uses SE models to determine whether two logic programs are strongly equivalent or if one is implied by the other.
System-Z
Implementation of the System Z approach to ordering of defaults/preferences in non-monotonic reasoning (based on the work of Judea Pearl)
Transition-Finder
By Raissa D’Souza and Adam Labecki. Program detects and locates video transitions in videos (works best for vertical and horizontal transitions)
alabecki's Repositories
alabecki/Defeasible-Conditional-Deontic-Logic-Solver
Given a set of rules and constraints, the program ranks worlds based on their ability to satisfy said rules and lets the user check various inferences and queries.
alabecki/Imperialist-Bastards
Prototype of a turn-based strategy game based on the Industrial Revolution and its aftermath. Play as one of 6 Great Powers, who seek to colonize or exploit less developed nations, develop rail-lines and factories, trade goods on the World Market, build a great army and navy, and develop a thriving middle class.
alabecki/System-Z
Implementation of the System Z approach to ordering of defaults/preferences in non-monotonic reasoning (based on the work of Judea Pearl)
alabecki/Command-Line-Five-Card-Draw
The game logic for a poker game web-application in the form of a command line desktop program.
alabecki/Transition-Finder
By Raissa D’Souza and Adam Labecki. Program detects and locates video transitions in videos (works best for vertical and horizontal transitions)
alabecki/P-Entailment-
A program that takes checks preference entailment relations between propositional formulas relative to a set of rules and constraints.
alabecki/Blind-Helper
By Raissa D’Souza and Adam Labecki. Python GUI program that plays videos while playing sounds that are intended to assist the bind in perceiving the video images.
alabecki/Imperial-Times
Script Files From Unity Game
alabecki/Propositional-Logic-Assistant-
A Python program to assist students learning propositional logic for computing science.
alabecki/Strong-Equivalence-Solver
Uses SE models to determine whether two logic programs are strongly equivalent or if one is implied by the other.
alabecki/Negation-as-Failure
The program reads programming logic files and outputs all implied propositions, making use of negation as failure.