Fredrik Engström

Showing 11 publications

2014

Symbolic Reasoning with Bounded Cognitive Resources

Claes Strannegård, Abdul Rahim Nizamani, Fredrik Engström et al
36th Annual Conference of the Cognitive Science Society
Other conference contribution
2014

Generating Comprehensible Explanations in Description Logic

Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård
CEUR Workshop Proceedings. Vol. 1193, p. 530-542
Paper in proceeding
2013

Bounded Kolmogorov Complexity Based on Cognitive Models

Claes Strannegård, Abdul Rahim Nizamani, Sjöberg Anders et al
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering. Vol. 7999, p. 130-139
Paper in proceeding
2013

Reasoning about truth in first-order logic

Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani et al
Journal of Logic, Language and Information. Vol. 22 (1), p. 115-137
Journal article
2004

Notions of resplendency for logics stronger than first-order logic

Fredrik Engström
Bulletin of Symbolic Logic. Vol. 11 (2), p. 275-
Paper in proceeding
2004

Variations on replendency and recursive saturation

Fredrik Engström
New York Graduate Student Logic Conference
Other conference contribution
2004

A notion of recursive saturation for models of arithmetic with the standard predicate

Fredrik Engström
Nonstandard Models of Arithmetic and Analysis
Paper in proceeding
2004

Expansions, omitting types, and standard systems

Fredrik Engström
Doctoral thesis
2003

Omitting types in expansions and related strong saturation properties

Fredrik Engström
Bulletin of Symbolic Logic. Vol. 10 (2), p. 253-
Paper in proceeding
2002

Resplendency and omitting types

Fredrik Engström
British Logic Colloquium 2002
Other conference contribution

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Fredrik Engström participates, but you have to be logged in as a Chalmers employee to see them.