Bounded Kolmogorov Complexity Based on Cognitive Models. - Claes Strannegård; Abdul Rahim Nizamani; Anders Sjöberg; Fredrik Engström (AGI, 2013)

Reasoning About Truth in First-Order Logic. - Claes Strannegård; Fredrik Engström; Abdul Rahim Nizamani; Lance J. Rips (J. Log. Lang. Inf., 2013)

A General System for Learning and Reasoning in Symbolic Domains. - Claes Strannegård; Abdul Rahim Nizamani; Ulf Persson (AGI, 2014)

Symbolic Reasoning with Bounded Cognitive Resources. - Claes Strannegård; Abdul Rahim Nizamani; Fredrik Engström; Olle Häggström (CogSci, 2014)

Generating Comprehensible Explanations in Description Logic. - Fredrik Engström; Abdul Rahim Nizamani; Claes Strannegård (Description Logics, 2014)

Bounded Cognitive Resources and Arbitrary Domains. - Abdul Rahim Nizamani; Jonas Juel; Ulf Persson; Claes Strannegård (AGI, 2015)

Integrating Symbolic and Sub-symbolic Reasoning. - Claes Strannegård; Abdul Rahim Nizamani (AGI, 2016)

Integrating Axiomatic and Analogical Reasoning. - Claes Strannegård; Abdul Rahim Nizamani; Ulf Persson (AGI, 2016)

Learning and Reasoning in Unknown Domains. - Claes Strannegård; Abdul Rahim Nizamani; Jonas Juel; Ulf Persson (J. Artif. Gen. Intell., 2016)