Abdul Rahim Nizamani
Abdul Rahim Nizamani
University of Gothenburg
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
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
212013
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
72013
Integrating symbolic and sub-symbolic reasoning
C Strannegård, AR Nizamani
International conference on artificial general intelligence, 171-180, 2016
52016
Bounded cognitive resources and arbitrary domains
AR Nizamani, J Juel, U Persson, C Strannegård
International Conference on Artificial General Intelligence, 166-176, 2015
52015
Learning propositional logic from scratch
AR Nizamani, C Strannegård
The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS), 2014
42014
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
32016
Generating Comprehensible Explanations in Description Logic.
F Engström, AR Nizamani, C Strannegård
Description Logics, 530-542, 2014
32014
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
22014
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
12015
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
12014
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
The system can't perform the operation now. Try again later.
Articles 1–14