Bounded Kolmogorov complexity based on cognitive models C Strannegård, AR Nizamani, A Sjöberg, F Engström International Conference on Artificial General Intelligence, 130-139, 2013 | 21 | 2013 |
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 | 7 | 2013 |
Integrating symbolic and sub-symbolic reasoning C Strannegård, AR Nizamani International conference on artificial general intelligence, 171-180, 2016 | 6 | 2016 |
Bounded cognitive resources and arbitrary domains AR Nizamani, J Juel, U Persson, C Strannegård International Conference on Artificial General Intelligence, 166-176, 2015 | 5 | 2015 |
Learning and reasoning in unknown domains C Strannegård, AR Nizamani, J Juel, U Persson Journal of Artificial General Intelligence 7 (1), 104-127, 2016 | 4 | 2016 |
Learning propositional logic from scratch AR Nizamani, C Strannegård The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS), 2014 | 4 | 2014 |
Generating Comprehensible Explanations in Description Logic. F Engström, AR Nizamani, C Strannegård Description Logics, 530-542, 2014 | 3 | 2014 |
A General system for learning and reasoning in symbolic domains C Strannegård, AR Nizamani, U Persson International Conference on Artificial General Intelligence, 174-185, 2014 | 2 | 2014 |
Anthropomorphic Proof System for First-Order Logic A Rahim Nizamani Chalmers University of Technology, 2010 | 2* | 2010 |
Reasoning with Bounded Cognitive Resources AR Nizamani University of Gothenburg, 2015 | 1 | 2015 |
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 | 1 | 2014 |
Integrating Axiomatic and Analogical Reasoning C Strannegård, AR Nizamani, U Persson International Conference on Artificial General Intelligence, 181-191, 2016 | | 2016 |
GslcTagger for parts-of-speech tagging of transcribed speech: A technical report AR Nizamani | | 2014 |
Evidensbaserat urval A Sjöberg | | |