Concepedia

Kristof De Clercq

KD

Statistics

Publications

3

Citations

84

H-Index

3

Active since

1999

Affiliations

Ghent University(Current)

Kristof De Clercq is an author at Ghent University specializing in automated reasoning, verification, and formal methods.

Top concepts

Publications per year

1999–2007

3

Publications

3

Embedding and Interpolation for Some Paralogics. The Propositional Case

Diderik Batens, Kristof De Clercq, Natasha Kurtonina · Ghent University Academic Bibliography (Ghent University) · 1999 · 45 citations

Two new strategies for inconsistency-adaptive logics

Kristof De Clercq · Logic and Logical Philosophy · 2004 · 20 citations · Full text

, , +13

Yes fellows, most human reasoning is complex

Diderik Batens, Kristof De Clercq, Peter Verdée et al. · Synthese · 2007 · 19 citations

, , +5

1–3 of 3