Fredrik Engström

Visar 11 publikationer

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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i 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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
2004

Notions of resplendency for logics stronger than first-order logic

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

Variations on replendency and recursive saturation

Fredrik Engström
New York Graduate Student Logic Conference
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2004

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

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

Expansions, omitting types, and standard systems

Fredrik Engström
Doktorsavhandling
2003

Omitting types in expansions and related strong saturation properties

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

Resplendency and omitting types

Fredrik Engström
British Logic Colloquium 2002
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Fredrik Engström medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.