<?xml version="1.0"?>
<dblpperson name="Claes Stranneg&#229;rd" pid="33/4624" n="34">
<person key="homepages/33/4624" mdate="2009-06-10">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
</person>
<r><article key="journals/cogsr/StrannegardEUAEN24" mdate="2025-04-01">
<author orcid="0000-0003-4571-9759" pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="66/8414">Simon Ulfsb&#228;cker</author>
<author pid="329/6545">Sebastian Andreasson</author>
<author pid="281/4269">John A. Endler</author>
<author orcid="0000-0003-3285-4281" pid="325/4105">Ann Nordgren</author>
<title>Survival games for humans and machines.</title>
<pages>101235</pages>
<year>2024</year>
<volume>86</volume>
<journal>Cogn. Syst. Res.</journal>
<ee>https://doi.org/10.1016/j.cogsys.2024.101235</ee>
<ee>https://www.wikidata.org/entity/Q127176237</ee>
<url>db/journals/cogsr/cogsr86.html#StrannegardEUAEN24</url>
</article>
</r>
<r><inproceedings key="conf/mdai/JohanssonESM23" mdate="2023-05-26">
<author pid="246/9532">Anton Johansson</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="82/2343">Petter Mostad</author>
<title>Improved Spectral Norm Regularization for Neural Networks.</title>
<pages>181-201</pages>
<year>2023</year>
<booktitle>MDAI</booktitle>
<ee>https://doi.org/10.1007/978-3-031-33498-6_13</ee>
<crossref>conf/mdai/2023</crossref>
<url>db/conf/mdai/mdai2023.html#JohanssonESM23</url>
</inproceedings>
</r>
<r><proceedings key="conf/agi/2023" mdate="2023-05-31">
<editor orcid="0000-0002-1891-9096" pid="165/2372">Patrick Hammer</editor>
<editor orcid="0000-0002-4001-2087" pid="122/3299">Marjan Alirezaie</editor>
<editor orcid="0000-0003-4571-9759" pid="33/4624">Claes Stranneg&#229;rd</editor>
<title>Artificial General Intelligence - 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings</title>
<booktitle>AGI</booktitle>
<publisher>Springer</publisher>
<year>2023</year>
<series href="db/series/lncs/index.html">Lecture Notes in Computer Science</series>
<volume>13921</volume>
<isbn>978-3-031-33468-9</isbn>
<isbn>978-3-031-33469-6</isbn>
<ee>https://doi.org/10.1007/978-3-031-33469-6</ee>
<url>db/conf/agi/agi2023.html</url>
</proceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2301-10507" mdate="2023-01-26">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="325/3947">Rasmus Lindgren</author>
<author pid="131/5648">Simon Olsson</author>
<author pid="281/4269">John A. Endler</author>
<title>Exploring local effects of economic activities using agent-based ecosystem models.</title>
<year>2023</year>
<volume>abs/2301.10507</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2301.10507</ee>
<url>db/journals/corr/corr2301.html#abs-2301-10507</url>
</article>
</r>
<r><inproceedings key="conf/sais/JohanssonESM22" mdate="2022-07-29">
<author pid="246/9532">Anton Johansson</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="82/2343">Petter Mostad</author>
<title>Slope and Generalization Properties of Neural Networks.</title>
<pages>1-9</pages>
<year>2022</year>
<booktitle>SAIS</booktitle>
<ee>https://doi.org/10.1109/SAIS55783.2022.9833034</ee>
<crossref>conf/sais/2022</crossref>
<url>db/conf/sais/sais2022.html#JohanssonESM22</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sais/StrannegardEEEH22" mdate="2025-04-01">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="264/4391">Jesper Eisfeldt</author>
<author pid="281/4269">John A. Endler</author>
<author pid="325/4288">Amanda Hansson</author>
<author pid="325/3947">Rasmus Lindgren</author>
<author pid="82/2343">Petter Mostad</author>
<author pid="131/5648">Simon Olsson</author>
<author pid="325/3877">Irene Perini</author>
<author pid="11/8991">Heather Reese</author>
<author pid="325/4169">Fulya Taylan</author>
<author pid="66/8414">Simon Ulfsb&#228;cker</author>
<author orcid="0000-0003-3285-4281" pid="325/4105">Ann Nordgren</author>
<title>Ecosystem Models Based on Artificial Intelligence.</title>
<pages>1-9</pages>
<year>2022</year>
<booktitle>SAIS</booktitle>
<ee>https://doi.org/10.1109/SAIS55783.2022.9833026</ee>
<crossref>conf/sais/2022</crossref>
<url>db/conf/sais/sais2022.html#StrannegardEEEH22</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2206-13581" mdate="2022-07-05">
<author pid="246/9532">Anton Johansson</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="82/2343">Petter Mostad</author>
<title>Exact Spectral Norm Regularization for Neural Networks.</title>
<year>2022</year>
<volume>abs/2206.13581</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2206.13581</ee>
<url>db/journals/corr/corr2206.html#abs-2206-13581</url>
</article>
</r>
<r><inproceedings key="conf/agi/StrannegardEFGS21" mdate="2022-01-14">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="149/4336">Pietro Ferrari</author>
<author pid="299/8472">Hans Glimmerfors</author>
<author pid="299/8203">Marcus Hilding S&#246;dergren</author>
<author pid="50/10259">Tobias Karlsson</author>
<author pid="299/8295">Birger Kleve</author>
<author pid="299/8082">Victor Skoglund</author>
<title>The Ecosystem Path to AGI.</title>
<pages>269-278</pages>
<year>2021</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-030-93758-4_28</ee>
<crossref>conf/agi/2021</crossref>
<url>db/conf/agi/agi2021.html#StrannegardEFGS21</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2107-01473" mdate="2021-07-07">
<author pid="246/9532">Anton Johansson</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="82/2343">Petter Mostad</author>
<title>Slope and generalization properties of neural networks.</title>
<year>2021</year>
<volume>abs/2107.01473</volume>
<journal>CoRR</journal>
<ee type="oa">https://arxiv.org/abs/2107.01473</ee>
<url>db/journals/corr/corr2107.html#abs-2107-01473</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2108-07578" mdate="2021-08-20">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="149/4336">Pietro Ferrari</author>
<author pid="299/8472">Hans Glimmerfors</author>
<author pid="299/8203">Marcus Hilding S&#246;dergren</author>
<author pid="50/10259">Tobias Karlsson</author>
<author pid="299/8295">Birger Kleve</author>
<author pid="299/8082">Victor Skoglund</author>
<title>The Ecosystem Path to General AI.</title>
<year>2021</year>
<volume>abs/2108.07578</volume>
<journal>CoRR</journal>
<ee type="oa">https://arxiv.org/abs/2108.07578</ee>
<url>db/journals/corr/corr2108.html#abs-2108-07578</url>
</article>
</r>
<r><article key="journals/jagi/StrannegardXEE20" mdate="2022-08-16">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="42/1870">Wen Xu</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="281/4269">John A. Endler</author>
<title>Combining Evolution and Learning in Computational Ecosystems.</title>
<pages>1-37</pages>
<year>2020</year>
<volume>11</volume>
<journal>J. Artif. Gen. Intell.</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.2478/jagi-2020-0001</ee>
<ee>https://www.wikidata.org/entity/Q113214087</ee>
<url>db/journals/jagi/jagi11.html#StrannegardXEE20</url>
</article>
</r>
<r><inproceedings key="conf/agi/AnderssonSS19" mdate="2019-07-30">
<author pid="245/7666">Patrick Andersson</author>
<author pid="245/7649">Anton Strandman</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<title>Exploration Strategies for Homeostatic Agents.</title>
<pages>178-187</pages>
<year>2019</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-030-27005-6_18</ee>
<crossref>conf/agi/2019</crossref>
<url>db/conf/agi/agi2019.html#AnderssonSS19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/agi/StrannegardCEMS19" mdate="2019-07-30">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5925">Herman Carlstr&#246;m</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="223/9303">Fredrik M&#228;kel&#228;inen</author>
<author pid="243/5792">Filip Slottner Seholm</author>
<author pid="67/3586">Morteza Haghir Chehreghani</author>
<title>Lifelong Learning Starting from Zero.</title>
<pages>188-197</pages>
<year>2019</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-030-27005-6_19</ee>
<crossref>conf/agi/2019</crossref>
<url>db/conf/agi/agi2019.html#StrannegardCEMS19</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-1906-09852" mdate="2019-06-27">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="243/5925">Herman Carlstr&#246;m</author>
<author pid="243/5848">Niklas Engsner</author>
<author pid="223/9303">Fredrik M&#228;kel&#228;inen</author>
<author pid="243/5792">Filip Slottner Seholm</author>
<author pid="67/3586">Morteza Haghir Chehreghani</author>
<title>Lifelong Learning Starting From Zero.</title>
<year>2019</year>
<volume>abs/1906.09852</volume>
<journal>CoRR</journal>
<ee type="oa">http://arxiv.org/abs/1906.09852</ee>
<url>db/journals/corr/corr1906.html#abs-1906-09852</url>
</article>
</r>
<r><article key="journals/jagi/StrannegardSLBS18" mdate="2025-01-19">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="95/4654">Nils Svang&#229;rd</author>
<author pid="236/1234">David Lindstr&#246;m</author>
<author pid="09/5780">Joscha Bach</author>
<author pid="10/6489">Bas R. Steunebrink</author>
<title>Learning and decision-making in artificial animals.</title>
<pages>55-82</pages>
<year>2018</year>
<volume>9</volume>
<journal>J. Artif. Gen. Intell.</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.2478/jagi-2018-0002</ee>
<ee>https://www.wikidata.org/entity/Q129435452</ee>
<url>db/journals/jagi/jagi9.html#StrannegardSLBS18</url>
</article>
</r>
<r><inproceedings key="conf/agi/MakelainenTS18" mdate="2018-08-02">
<author pid="223/9303">Fredrik M&#228;kel&#228;inen</author>
<author pid="223/9261">Hampus Tor&#233;n</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<title>Efficient Concept Formation in Large State Spaces.</title>
<pages>140-150</pages>
<year>2018</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-97676-1_14</ee>
<crossref>conf/agi/2018</crossref>
<url>db/conf/agi/agi2018.html#MakelainenTS18</url>
</inproceedings>
</r>
<r><article key="journals/aim/Hernandez-Orallo17" mdate="2024-10-06">
<author pid="h/JoseHernandezOrallo">Jos&#233; Hern&#225;ndez-Orallo</author>
<author orcid="0000-0001-5066-3580" pid="81/3888">Marco Baroni</author>
<author pid="70/9150">Jordi Bieger</author>
<author orcid="0000-0002-3152-382X" pid="165/2356">Nader Chmait</author>
<author pid="d/DLDowe">David L. Dowe</author>
<author pid="97/3500">Katja Hofmann</author>
<author pid="76/8771">Fernando Mart&#237;nez-Plumed</author>
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="t/KRThorisson">Kristinn R. Th&#243;risson</author>
<title>A New AI Evaluation Cosmos: Ready to Play the Game?</title>
<pages>66-69</pages>
<year>2017</year>
<volume>38</volume>
<journal>AI Mag.</journal>
<number>3</number>
<ee>https://doi.org/10.1609/aimag.v38i3.2748</ee>
<url>db/journals/aim/aim38.html#Hernandez-Orallo17</url>
</article>
</r>
<r><inproceedings key="conf/agi/StrannegardSBS17" mdate="2017-08-15">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="95/4654">Nils Svang&#229;rd</author>
<author pid="09/5780">Joscha Bach</author>
<author pid="10/6489">Bas R. Steunebrink</author>
<title>Generic Animats.</title>
<pages>23-32</pages>
<year>2017</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-63703-7_3</ee>
<crossref>conf/agi/2017</crossref>
<url>db/conf/agi/agi2017.html#StrannegardSBS17</url>
</inproceedings>
</r>
<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/StrannegardCW15" mdate="2017-05-23">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="148/0880">Simone Cirillo</author>
<author pid="49/1577">Johan Wessberg</author>
<title>Emotional Concept Development.</title>
<pages>362-372</pages>
<year>2015</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-319-21365-1_37</ee>
<crossref>conf/agi/2015</crossref>
<url>db/conf/agi/agi2015.html#StrannegardCW15</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/cogsr/StrannegardAU13" mdate="2020-03-27">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author orcid="0000-0001-8466-1380" pid="152/1204">Mehrdad Amirghasemi</author>
<author pid="66/8414">Simon Ulfsb&#228;cker</author>
<title>An anthropomorphic method for number sequence problems.</title>
<pages>27-34</pages>
<year>2013</year>
<volume>22-23</volume>
<journal>Cogn. Syst. Res.</journal>
<ee>https://doi.org/10.1016/j.cogsys.2012.05.003</ee>
<ee>https://www.wikidata.org/entity/Q60692123</ee>
<url>db/journals/cogsr/cogsr22.html#StrannegardAU13</url>
</article>
</r>
<r><article key="journals/cogsr/StrannegardCS13" mdate="2020-02-19">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="148/0880">Simone Cirillo</author>
<author pid="152/1324">Victor Str&#246;m</author>
<title>An anthropomorphic method for progressive matrix problems.</title>
<pages>35-46</pages>
<year>2013</year>
<volume>22-23</volume>
<journal>Cogn. Syst. Res.</journal>
<ee>https://doi.org/10.1016/j.cogsys.2012.08.002</ee>
<url>db/journals/cogsr/cogsr22.html#StrannegardCS13</url>
</article>
</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>
<r><inproceedings key="conf/agi/StrannegardHWB13" mdate="2017-09-16">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="131/3574">Rickard von Haugwitz</author>
<author pid="49/1577">Johan Wessberg</author>
<author orcid="0000-0002-1478-6329" pid="72/3447">Christian Balkenius</author>
<title>A Cognitive Architecture Based on Dual Process Theory.</title>
<pages>140-149</pages>
<year>2013</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-642-39521-5_15</ee>
<crossref>conf/agi/2013</crossref>
<url>db/conf/agi/agi2013.html#StrannegardHWB13</url>
</inproceedings>
</r>
<r><inproceedings key="conf/agi/StrannegardHWB12" mdate="2017-09-16">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="h/OlleHaggstrom">Olle H&#228;ggstr&#246;m</author>
<author pid="49/1577">Johan Wessberg</author>
<author orcid="0000-0002-1478-6329" pid="72/3447">Christian Balkenius</author>
<title>Transparent Neural Networks - Integrating Concept Formation and Reasoning.</title>
<pages>302-311</pages>
<year>2012</year>
<booktitle>AGI</booktitle>
<ee>https://doi.org/10.1007/978-3-642-35506-6_31</ee>
<crossref>conf/agi/2012</crossref>
<url>db/conf/agi/agi2012.html#StrannegardHWB12</url>
</inproceedings>
</r>
<r><article key="journals/jolli/StrannegardUHG10" mdate="2020-09-17">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<author pid="66/8414">Simon Ulfsb&#228;cker</author>
<author pid="16/3290">David Hedqvist</author>
<author pid="03/8414">Tommy G&#228;rling</author>
<title>Reasoning Processes in Propositional Logic.</title>
<pages>283-314</pages>
<year>2010</year>
<volume>19</volume>
<journal>J. Log. Lang. Inf.</journal>
<number>3</number>
<ee>https://doi.org/10.1007/s10849-009-9102-0</ee>
<url>db/journals/jolli/jolli19.html#StrannegardUHG10</url>
</article>
</r>
<r><article key="journals/jsyml/Strannegard99" mdate="2017-05-28">
<author pid="33/4624">Claes Stranneg&#229;rd</author>
<title>Interpretability over Peano Arithmetic.</title>
<pages>1407-1425</pages>
<year>1999</year>
<volume>64</volume>
<journal>J. Symb. Log.</journal>
<number>4</number>
<url>db/journals/jsyml/jsyml64.html#Strannegard99</url>
<ee>https://doi.org/10.2307/2586787</ee>
<ee>http://projecteuclid.org/euclid.jsl/1183745928</ee>
</article>
</r>
<coauthors n="57" nc="4">
<co c="1"><na f="a/Alirezaie:Marjan" pid="122/3299">Marjan Alirezaie</na></co>
<co c="0"><na f="a/Amirghasemi:Mehrdad" pid="152/1204">Mehrdad Amirghasemi</na></co>
<co c="3"><na f="a/Andersson:Patrick" pid="245/7666">Patrick Andersson</na></co>
<co c="0"><na f="a/Andreasson:Sebastian" pid="329/6545">Sebastian Andreasson</na></co>
<co c="1"><na f="b/Bach:Joscha" pid="09/5780">Joscha Bach</na></co>
<co c="2"><na f="b/Balkenius:Christian" pid="72/3447">Christian Balkenius</na></co>
<co c="1"><na f="b/Baroni:Marco" pid="81/3888">Marco Baroni</na></co>
<co c="1"><na f="b/Bieger:Jordi" pid="70/9150">Jordi Bieger</na></co>
<co c="0"><na f="c/Carlstr=ouml=m:Herman" pid="243/5925">Herman Carlstr&#246;m</na></co>
<co c="0"><na f="c/Chehreghani:Morteza_Haghir" pid="67/3586">Morteza Haghir Chehreghani</na></co>
<co c="1"><na f="c/Chmait:Nader" pid="165/2356">Nader Chmait</na></co>
<co c="2"><na f="c/Cirillo:Simone" pid="148/0880">Simone Cirillo</na></co>
<co c="1"><na f="d/Dowe:David_L=" pid="d/DLDowe">David L. Dowe</na></co>
<co c="0"><na f="e/Eisfeldt:Jesper" pid="264/4391">Jesper Eisfeldt</na></co>
<co c="0"><na f="e/Endler:John_A=" pid="281/4269">John A. Endler</na></co>
<co c="0"><na f="e/Engsner:Niklas" pid="243/5848">Niklas Engsner</na></co>
<co c="2"><na f="e/Engstr=ouml=m:Fredrik" pid="56/7976">Fredrik Engstr&#246;m</na></co>
<co c="0"><na f="f/Ferrari:Pietro" pid="149/4336">Pietro Ferrari</na></co>
<co c="0"><na f="g/G=auml=rling:Tommy" pid="03/8414">Tommy G&#228;rling</na></co>
<co c="0"><na f="g/Glimmerfors:Hans" pid="299/8472">Hans Glimmerfors</na></co>
<co c="2"><na f="h/H=auml=ggstr=ouml=m:Olle" pid="h/OlleHaggstrom">Olle H&#228;ggstr&#246;m</na></co>
<co c="1"><na f="h/Hammer:Patrick" pid="165/2372">Patrick Hammer</na></co>
<co c="0"><na f="h/Hansson:Amanda" pid="325/4288">Amanda Hansson</na></co>
<co c="2"><na f="h/Haugwitz:Rickard_von" pid="131/3574">Rickard von Haugwitz</na></co>
<co c="0"><na f="h/Hedqvist:David" pid="16/3290">David Hedqvist</na></co>
<co c="1"><na f="h/Hern=aacute=ndez=Orallo:Jos=eacute=" pid="h/JoseHernandezOrallo">Jos&#233; Hern&#225;ndez-Orallo</na></co>
<co c="1"><na f="h/Hofmann:Katja" pid="97/3500">Katja Hofmann</na></co>
<co c="0"><na f="j/Johansson:Anton" pid="246/9532">Anton Johansson</na></co>
<co c="2"><na f="j/Juel:Jonas" pid="165/2357">Jonas Juel</na></co>
<co c="0"><na f="k/Karlsson:Tobias" pid="50/10259">Tobias Karlsson</na></co>
<co c="0"><na f="k/Kleve:Birger" pid="299/8295">Birger Kleve</na></co>
<co c="0"><na f="l/Lindgren:Rasmus" pid="325/3947">Rasmus Lindgren</na></co>
<co c="1"><na f="l/Lindstr=ouml=m:David" pid="236/1234">David Lindstr&#246;m</na></co>
<co c="0"><na f="m/M=auml=kel=auml=inen:Fredrik" pid="223/9303">Fredrik M&#228;kel&#228;inen</na></co>
<co c="1"><na f="m/Mart=iacute=nez=Plumed:Fernando" pid="76/8771">Fernando Mart&#237;nez-Plumed</na></co>
<co c="0"><na f="m/Mostad:Petter" pid="82/2343">Petter Mostad</na></co>
<co c="2"><na f="n/Nizamani:Abdul_Rahim" pid="126/2477">Abdul Rahim Nizamani</na></co>
<co c="0"><na f="n/Nordgren:Ann" pid="325/4105">Ann Nordgren</na></co>
<co c="0"><na f="o/Olsson:Simon" pid="131/5648">Simon Olsson</na></co>
<co c="0"><na f="p/Perini:Irene" pid="325/3877">Irene Perini</na></co>
<co c="2"><na f="p/Persson:Ulf" pid="149/0193">Ulf Persson</na></co>
<co c="0"><na f="r/Reese:Heather" pid="11/8991">Heather Reese</na></co>
<co c="2"><na f="r/Rips:Lance_J=" pid="18/4208">Lance J. Rips</na></co>
<co c="0"><na f="s/Seholm:Filip_Slottner" pid="243/5792">Filip Slottner Seholm</na></co>
<co c="2"><na f="s/Sj=ouml=berg:Anders" pid="131/3494">Anders Sj&#246;berg</na></co>
<co c="0"><na f="s/Skoglund:Victor" pid="299/8082">Victor Skoglund</na></co>
<co c="0"><na f="s/S=ouml=dergren:Marcus_Hilding" pid="299/8203">Marcus Hilding S&#246;dergren</na></co>
<co c="1"><na f="s/Steunebrink:Bas_R=" pid="10/6489">Bas R. Steunebrink</na></co>
<co c="3"><na f="s/Strandman:Anton" pid="245/7649">Anton Strandman</na></co>
<co c="2"><na f="s/Str=ouml=m:Victor" pid="152/1324">Victor Str&#246;m</na></co>
<co c="1"><na f="s/Svang=aring=rd:Nils" pid="95/4654">Nils Svang&#229;rd</na></co>
<co c="0"><na f="t/Taylan:Fulya" pid="325/4169">Fulya Taylan</na></co>
<co c="1"><na f="t/Th=oacute=risson:Kristinn_R=" pid="t/KRThorisson">Kristinn R. Th&#243;risson</na></co>
<co c="0"><na f="t/Tor=eacute=n:Hampus" pid="223/9261">Hampus Tor&#233;n</na></co>
<co c="0"><na f="u/Ulfsb=auml=cker:Simon" pid="66/8414">Simon Ulfsb&#228;cker</na></co>
<co c="2"><na f="w/Wessberg:Johan" pid="49/1577">Johan Wessberg</na></co>
<co c="0"><na f="x/Xu:Wen" pid="42/1870">Wen Xu</na></co>
</coauthors>
</dblpperson>

