Fredrik Engström

14 papers B 1C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2023 — conf
Cognitively Adequate Complexity of Reasoning in a Description Logic.
KoDis+CAKR@KR
Jelle Tjeerd Fokkens, Fredrik Engström
2020 J jnl
An Indirect Measurement Methodology to Identify Load Fluctuations on Axial Turbine Runner Blades.
Sensors
Arash Soltani Dehkharqani, Fredrik Engström, Jan-Olov Aidanpää, Michel J. Cervantes
2018 J jnl
Invariance and Definability, with and without Equality.
Notre Dame J. Formal Log.
Denis Bonnay, Fredrik Engström
2017 J jnl
Dependence logic with generalized quantifiers: Axiomatizations.
J. Comput. Syst. Sci.
Fredrik Engström, Juha Kontinen, Jouko Väänänen
2014 — conf
Generating Comprehensible Explanations in Description Logic.
Description Logics
Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
2014 B conf
Symbolic Reasoning with Bounded Cognitive Resources.
CogSci
Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström, Olle Häggström
2013 — conf
Bounded Kolmogorov Complexity Based on Cognitive Models.
AGI
Claes Strannegård, Abdul Rahim Nizamani, Anders Sjöberg, Fredrik Engström
2013 J jnl
Characterizing quantifier extensions of dependence logic.
J. Symb. Log.
Fredrik Engström, Juha Kontinen
2013 J jnl
Dependence Logic with Generalized Quantifiers: Axiomatizations
CoRR
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
2013 C conf
Dependence Logic with Generalized Quantifiers: Axiomatizations.
WoLLIC
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
2013 J jnl
Reasoning About Truth in First-Order Logic.
J. Log. Lang. Inf.
Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance J. Rips
2012 J jnl
Generalized Quantifiers in Dependence Logic.
J. Log. Lang. Inf.
Fredrik Engström
2012 J jnl
Transplendent Models: Expansions Omitting a Type.
Notre Dame J. Formal Log.
Fredrik Engström, Richard Kaye
2008 J jnl
A note on standard systems and ultrafilters.
J. Symb. Log.
Fredrik Engström