Fredrik Engström

According to our database, Fredrik Engström authored at least 12 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Cognitively Adequate Complexity of Reasoning in a Description Logic.

Jelle Tjeerd Fokkens, Fredrik Engström

Proceedings of the Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 2023

2020

An Indirect Measurement Methodology to Identify Load Fluctuations on Axial Turbine Runner Blades.

Arash Soltani Dehkharqani, Fredrik Engström, Jan-Olov Aidanpää, Michel J. Cervantes

Sensors, 2020

2018

Invariance and Definability, with and without Equality.

Denis Bonnay, Fredrik Engström

Notre Dame J. Formal Log., 2018

2017

Dependence logic with generalized quantifiers: Axiomatizations.

Fredrik Engström, Juha Kontinen, Jouko Väänänen

J. Comput. Syst. Sci., 2017

2014

Generating Comprehensible Explanations in Description Logic.

Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Symbolic Reasoning with Bounded Cognitive Resources.

Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström, Olle Häggström

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

2013

Characterizing quantifier extensions of dependence logic.

Fredrik Engström, Juha Kontinen

J. Symb. Log., 2013

Reasoning About Truth in First-Order Logic.

Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance J. Rips

J. Log. Lang. Inf., 2013

Bounded Kolmogorov Complexity Based on Cognitive Models.

Claes Strannegård, Abdul Rahim Nizamani, Anders Sjöberg, Fredrik Engström

Proceedings of the Artificial General Intelligence - 6th International Conference, 2013

2012

Transplendent Models: Expansions Omitting a Type.

Fredrik Engström, Richard Kaye

Notre Dame J. Formal Log., 2012

Generalized Quantifiers in Dependence Logic.

Fredrik Engström

J. Log. Lang. Inf., 2012

2008

A note on standard systems and ultrafilters.

Fredrik Engström

J. Symb. Log., 2008