<?xml version="1.0"?>
<dblpperson name="Abdul Rahim Nizamani" pid="126/2477" n="9">
<person key="homepages/126/2477" mdate="2013-02-25">
<author pid="126/2477">Abdul Rahim Nizamani</author>
</person>
<r><article key="journals/jagi/StrannegardNJP16" mdate="2020-07-09">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="165/2357">Jonas Juel</author>
<author pid="149/0193">Ulf Persson</author>
<title>Learning and Reasoning in Unknown Domains.</title>
<pages>104-127</pages>
<year>2016</year>
<volume>7</volume>
<journal>J. Artif. Gen. Intell.</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.1515/jagi-2016-0002</ee>
<url>db/journals/jagi/jagi7.html#StrannegardNJP16</url>
</article>
</r>
<r><inproceedings key="conf/agi/StrannegardN16" mdate="2017-05-23">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<title>Integrating Symbolic and Sub-symbolic Reasoning.</title>
<pages>171-180</pages>
<year>2016</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-41649-6_17</ee>
<crossref>conf/agi/2016</crossref>
<url>db/conf/agi/agi2016.html#StrannegardN16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/agi/StrannegardNP16" mdate="2017-05-23">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="149/0193">Ulf Persson</author>
<title>Integrating Axiomatic and Analogical Reasoning.</title>
<pages>181-191</pages>
<year>2016</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-41649-6_18</ee>
<crossref>conf/agi/2016</crossref>
<url>db/conf/agi/agi2016.html#StrannegardNP16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/agi/NizamaniJPS15" mdate="2017-05-23">
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="165/2357">Jonas Juel</author>
<author pid="149/0193">Ulf Persson</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<title>Bounded Cognitive Resources and Arbitrary Domains.</title>
<pages>166-176</pages>
<year>2015</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-21365-1_18</ee>
<crossref>conf/agi/2015</crossref>
<url>db/conf/agi/agi2015.html#NizamaniJPS15</url>
</inproceedings>
</r>
<r><inproceedings key="conf/agi/StrannegardNP14" mdate="2017-05-23">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="149/0193">Ulf Persson</author>
<title>A General System for Learning and Reasoning in Symbolic Domains.</title>
<pages>174-185</pages>
<year>2014</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-09274-4_17</ee>
<crossref>conf/agi/2014</crossref>
<url>db/conf/agi/agi2014.html#StrannegardNP14</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cogsci/StrannegardNEH14" mdate="2024-04-30">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="56/7976">Fredrik Engstr&#246;m</author>
<author pid="h/OlleHaggstrom">Olle H&#228;ggstr&#246;m</author>
<title>Symbolic Reasoning with Bounded Cognitive Resources.</title>
<year>2014</year>
<booktitle>CogSci</booktitle>
<ee type="oa">https://escholarship.org/uc/item/0nc1267p</ee>
<crossref>conf/cogsci/2014</crossref>
<url>db/conf/cogsci/cogsci2014.html#StrannegardNEH14</url>
</inproceedings>
</r>
<r><inproceedings key="conf/dlog/EngstromNS14" mdate="2023-03-10">
<author pid="56/7976">Fredrik Engstr&#246;m</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<title>Generating Comprehensible Explanations in Description Logic.</title>
<pages>530-542</pages>
<year>2014</year>
<booktitle>Description Logics</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-1193/paper_17.pdf</ee>
<crossref>conf/dlog/2014</crossref>
<url>db/conf/dlog/dlog2014.html#EngstromNS14</url>
</inproceedings>
</r>
<r><article key="journals/jolli/StrannegardENR13" mdate="2020-09-17">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author orcid="0000-0003-3304-3990" pid="56/7976">Fredrik Engstr&#246;m</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="18/4208">Lance J. Rips</author>
<title>Reasoning About Truth in First-Order Logic.</title>
<pages>115-137</pages>
<year>2013</year>
<volume>22</volume>
<journal>J. Log. Lang. Inf.</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.1007/s10849-012-9168-y</ee>
<url>db/journals/jolli/jolli22.html#StrannegardENR13</url>
</article>
</r>
<r><inproceedings key="conf/agi/StrannegardNSE13" mdate="2017-09-16">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="126/2477">Abdul Rahim Nizamani</author>
<author pid="131/3494">Anders Sj&#246;berg</author>
<author orcid="0000-0003-3304-3990" pid="56/7976">Fredrik Engstr&#246;m</author>
<title>Bounded Kolmogorov Complexity Based on Cognitive Models.</title>
<pages>130-139</pages>
<year>2013</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-642-39521-5_14</ee>
<crossref>conf/agi/2013</crossref>
<url>db/conf/agi/agi2013.html#StrannegardNSE13</url>
</inproceedings>
</r>
<coauthors n="7" nc="1">
<co c="0"><na f="e/Engstr=ouml=m:Fredrik" pid="56/7976">Fredrik Engstr&#246;m</na></co>
<co c="0"><na f="h/H=auml=ggstr=ouml=m:Olle" pid="h/OlleHaggstrom">Olle H&#228;ggstr&#246;m</na></co>
<co c="0"><na f="j/Juel:Jonas" pid="165/2357">Jonas Juel</na></co>
<co c="0"><na f="p/Persson:Ulf" pid="149/0193">Ulf Persson</na></co>
<co c="0"><na f="r/Rips:Lance_J=" pid="18/4208">Lance J. Rips</na></co>
<co c="0"><na f="s/Sj=ouml=berg:Anders" pid="131/3494">Anders Sj&#246;berg</na></co>
<co c="0"><na f="s/Stranneg=aring=rd:Claes" pid="33/4624">Claes Stranneg&#229;rd</na></co>
</coauthors>
</dblpperson>

