Fredrik Engström

Publications (11)
Projects (0)

Showing 11 publications

2014

Symbolic Reasoning with Bounded Cognitive Resources

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

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

Paper in proceeding

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 LNAI, 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

Expansions, omitting types, and standard systems

Fredrik Engström

Doctoral thesis

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

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

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

2002

Satisfaction classes in nonstandard models of first-order arithmetic

Fredrik Engström

Licentiate thesis

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.