Fredrik Engström

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 4

Top Topics

Cognitive Models

Inference Rules

Top Venues

Description Logics

J. Comput. Syst. Sci.

Publications

Jelle Tjeerd Fokkens, Fredrik Engström
Cognitively Adequate Complexity of Reasoning in a Description Logic. KoDis+CAKR@KR (2023)
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. Sensors 20 (24) (2020)
Denis Bonnay, Fredrik Engström
Invariance and Definability, with and without Equality. Notre Dame J. Formal Log. 59 (1) (2018)
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. 88 (2017)
Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
Generating Comprehensible Explanations in Description Logic. Description Logics (2014)
Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström, Olle Häggström
Symbolic Reasoning with Bounded Cognitive Resources. CogSci (2014)
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC (2013)
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance J. Rips
Reasoning About Truth in First-Order Logic. J. Log. Lang. Inf. 22 (1) (2013)
Claes Strannegård, Abdul Rahim Nizamani, Anders Sjöberg, Fredrik Engström
Bounded Kolmogorov Complexity Based on Cognitive Models. AGI (2013)
Fredrik Engström, Juha Kontinen
Characterizing quantifier extensions of dependence logic. J. Symb. Log. 78 (1) (2013)
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations CoRR (2013)
Fredrik Engström
Generalized Quantifiers in Dependence Logic. J. Log. Lang. Inf. 21 (3) (2012)
Fredrik Engström, Richard Kaye
Transplendent Models: Expansions Omitting a Type. Notre Dame J. Formal Log. 53 (3) (2012)
Fredrik Engström
A note on standard systems and ultrafilters. J. Symb. Log. 73 (3) (2008)