Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
One hundred challenge problems for logical formalizations of commonsense psychology
Boolean satisfiability for propositional logic in Python
An implementation of Etcetera Abduction in Python
Identify personal stories in English, Farsi, or Chinese plaintext.
Analyze subjectivity and narrative levels in English, Farsi, and Chinese personal stories
Seeing something unexpected? Take a look at the
GitHub profile guide.