This is a list of my publications.
2016
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.
2015
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.
2014
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.
2013
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.
2010
Nizamani, A. R., 2010: Anthropomorphic proof system for first-order logic. Masters thesis, Department of Applied Information Technology, Chalmers University of Technology, Sweden.
Prizes
Kurzweil Prize for Best AGI Paper, AGI Conference 2013
Kurzweil Prize for Best AGI Paper, AGI Conference 2014
Cognitive Science Society Prize for Best Student Paper, AGI Conference 2015
Press
Artificial Intelligence that imitates children’s learning
Links
University of Gothenburg profile
Wikipedia Sindhi (I am a Wikipedia Sindhi admin since June 2015)