Cognitively Adequate Complexity of Reasoning in a Description Logic.

Fredrik Engström Jelle Tjeerd Fokkens Fredrik Engström Cognitively Adequate Complexity of Reasoning in a Description Logic. 2023 KoDis+CAKR@KR https://ceur-ws.org/Vol-3548/paper6.pdf conf/kodis/2023 db/conf/kodis/kodis2023.html#FokkensE23

Arash Soltani Dehkharqani Fredrik Engström Jan-Olov Aidanpää Michel J. Cervantes An Indirect Measurement Methodology to Identify Load Fluctuations on Axial Turbine Runner Blades. 7220 2020 20 Sensors 24 https://doi.org/10.3390/s20247220 https://www.wikidata.org/entity/Q104501423 db/journals/sensors/sensors20.html#DehkharqaniEAC20

Denis Bonnay Fredrik Engström Invariance and Definability, with and without Equality. 109-133 2018 59 Notre Dame J. Formal Log. 1 https://doi.org/10.1215/00294527-2017-0020 db/journals/ndjfl/ndjfl59.html#BonnayE18

Fredrik Engström Juha Kontinen Jouko Väänänen Dependence logic with generalized quantifiers: Axiomatizations. 90-102 2017 88 J. Comput. Syst. Sci. https://doi.org/10.1016/j.jcss.2017.03.010 db/journals/jcss/jcss88.html#EngstromKV17

Claes Strannegård Abdul Rahim Nizamani Fredrik Engström Olle Häggström Symbolic Reasoning with Bounded Cognitive Resources. 2014 CogSci https://escholarship.org/uc/item/0nc1267p conf/cogsci/2014 db/conf/cogsci/cogsci2014.html#StrannegardNEH14 Fredrik Engström Abdul Rahim Nizamani Claes Strannegård Generating Comprehensible Explanations in Description Logic. 530-542 2014 Description Logics https://ceur-ws.org/Vol-1193/paper_17.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#EngstromNS14

Claes Strannegård Fredrik Engström Abdul Rahim Nizamani Lance J. Rips Reasoning About Truth in First-Order Logic. 115-137 2013 22 J. Log. Lang. Inf. 1 https://doi.org/10.1007/s10849-012-9168-y db/journals/jolli/jolli22.html#StrannegardENR13

Fredrik Engström Juha Kontinen Characterizing quantifier extensions of dependence logic. 307-316 2013 78 J. Symb. Log. 1 https://doi.org/10.2178/jsl.7801210 http://projecteuclid.org/euclid.jsl/1358951116 db/journals/jsyml/jsyml78.html#EngstromK13

Claes Strannegård Abdul Rahim Nizamani Anders Sjöberg Fredrik Engström Bounded Kolmogorov Complexity Based on Cognitive Models. 130-139 2013 AGI https://doi.org/10.1007/978-3-642-39521-5_14 conf/agi/2013 db/conf/agi/agi2013.html#StrannegardNSE13 Fredrik Engström Juha Kontinen Jouko A. Väänänen Dependence Logic with Generalized Quantifiers: Axiomatizations. 138-152 2013 WoLLIC https://doi.org/10.1007/978-3-642-39992-3_14 conf/wollic/2013 db/conf/wollic/wollic2013.html#EngstromKV13

Fredrik Engström Juha Kontinen Jouko A. Väänänen Dependence Logic with Generalized Quantifiers: Axiomatizations http://arxiv.org/abs/1304.0611 2013 CoRR abs/1304.0611 db/journals/corr/corr1304.html#abs-1304-0611

Fredrik Engström Generalized Quantifiers in Dependence Logic. 299-324 2012 21 J. Log. Lang. Inf. 3 https://doi.org/10.1007/s10849-012-9162-4 db/journals/jolli/jolli21.html#Engstrom12

Fredrik Engström Richard Kaye Transplendent Models: Expansions Omitting a Type. 413-428 2012 53 Notre Dame J. Formal Log. 3 https://doi.org/10.1215/00294527-1716739 db/journals/ndjfl/ndjfl53.html#EngstromK12

Fredrik Engström A note on standard systems and ultrafilters. 824-830 2008 73 J. Symb. Log. 3 https://doi.org/10.2178/jsl/1230396749 http://projecteuclid.org/euclid.jsl/1230396749 db/journals/jsyml/jsyml73.html#Engstrom08

Jan-Olov Aidanpää Denis Bonnay Michel J. Cervantes Arash Soltani Dehkharqani Jelle Tjeerd Fokkens Olle Häggström Richard Kaye Juha Kontinen Abdul Rahim Nizamani Lance J. Rips Anders Sjöberg Claes Strannegård Jouko A. VäänänenJouko Väänänen