This is a list of my publications.
C. Strannegård, A. R. Nizamani, J. Juel, U. Persson, Learning and Reasoning in Unknown Domains, in: Journal of Artificial General Intelligence 7(1) pp. 104–127, 2016.
C. Strannegård, A. R. Nizamani, Integrating symbolic and sub-symbolic reasoning, The Ninth Conference on Artificial General Intelligence, New York City, July 16–19, 2016.
C. Strannegård, A. R. Nizamani, U. Persson, Integrating axiomatic and analogical reasoning, The Ninth Conference on Artificial General Intelligence, New York City, July 16–19, 2016.
A. R. Nizamani, J. Juel, U. Persson, C. Strannegård, Bounded Cognitive Resources and Arbitrary Domains, in: The Eighth Conference on Artificial General Intelligence, Berlin, July 22–25 2015, Lecture Notes in Artificial Intelligence, Springer International Publishing, 2015, in press.
F. Engström, A. R. Nizamani, C. Strannegård, Generating Comprehensible Explanations in Description Logic, in: M. Bienvenu, M. Ortiz, R. Rosati, M. Simkus (Eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vol. 1193 of CEUR Workshop Proceedings, Sun SITE Central Europe, 2014, pp. 530–542.
C. Strannegård, A. R. Nizamani, F. Engström, O. Häggström, Symbolic Reasoning with Bounded Cognitive Resources, in: P. Bello, M. Gaurini, M. McShane, B. Scassellati (Eds.), 36th Annual Conference of the Cognitive Science Society, Cognitive Science Society, Austin, TX, 2014, pp. 1539-1544.
C. Strannegård, A. R. Nizamani, U. Persson, A General System for Learning and Reasoning in Symbolic Domains, in: B. Goertzel, L. Orseau, J. Snaider (Eds.), Artificial General Intelligence, Vol. 8598 of Lecture Notes in Computer Science, Springer International Publishing, 2014, pp. 174–185.
A. R. Nizamani, C. Strannegård, Learning Propositional Logic From Scratch, The 28th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS), May 22–23, 2014, Stockholm.
C. Strannegård, A. R. Nizamani, A. Sjöberg, F. Engström, Bounded Kolmogorov Complexity Based on Cognitive Models, in: K. Kühnberger, S. Rudolph, P. Wang (Eds.), Artificial General Intelligence, Vol. 7999 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013, pp. 130–139.
C. Strannegård, F. Engström, A. R. Nizamani, and L. Rips, Reasoning About Truth in First-Order Logic, Journal of Logic, Language and Information 22 (1) (2013) 115–137.
Nizamani, A. R., 2010: Anthropomorphic proof system for first-order logic. Masters thesis, Department of Applied Information Technology, Chalmers University of Technology, Sweden.
Wikipedia Sindhi (I am a Wikipedia Sindhi admin since June 2015)