Bounded Kolmogorov complexity based on cognitive models C Strannegård, AR Nizamani, A Sjöberg, F Engström Artificial General Intelligence: 6th International Conference, AGI 2013 …, 2013 | 23 | 2013 |
Generating Comprehensible Explanations in Description Logic. F Engström, AR Nizamani, C Strannegård Description Logics, 530-542, 2014 | 9 | 2014 |
Reasoning About Truth in First-Order Logic C Strannegård, F Engström, AR Nizamani, L Rips Journal of Logic, Language and Information, 1-23, 2013 | 8 | 2013 |
Integrating symbolic and sub-symbolic reasoning C Strannegård, AR Nizamani Artificial General Intelligence: 9th International Conference, AGI 2016, New …, 2016 | 6 | 2016 |
Learning and reasoning in unknown domains C Strannegård, AR Nizamani, J Juel, U Persson Journal of Artificial General Intelligence 7 (1), 104, 2016 | 5 | 2016 |
Bounded cognitive resources and arbitrary domains AR Nizamani, J Juel, U Persson, C Strannegård Artificial General Intelligence: 8th International Conference, AGI 2015, AGI …, 2015 | 5 | 2015 |
Learning propositional logic from scratch AR Nizamani, C Strannegård The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS), 2014 | 4 | 2014 |
Anthropomorphic Proof System for First-Order Logic A Rahim Nizamani Chalmers University of Technology, 2010 | 3* | 2010 |
Reasoning with Bounded Cognitive Resources AR Nizamani University of Gothenburg, 2015 | 2 | 2015 |
A General system for learning and reasoning in symbolic domains C Strannegård, AR Nizamani, U Persson Artificial General Intelligence: 7th International Conference, AGI 2014 …, 2014 | 2 | 2014 |
Symbolic reasoning with bounded cognitive resources C Strannegard, AR Nizamani, F Engstrom, O Haggstrom Proceedings of the Annual Meeting of the Cognitive Science Society 36 (36), 2014 | 2 | 2014 |
Integrating Axiomatic and Analogical Reasoning C Strannegård, AR Nizamani, U Persson Artificial General Intelligence: 9th International Conference, AGI 2016, New …, 2016 | | 2016 |
GslcTagger for parts-of-speech tagging of transcribed speech: A technical report AR Nizamani | | 2014 |