(Q92729)

4 November 2018

inferred from person's full name

24 April 2014

country of citizenship

Germany

0 references

name in native language

Franz Baader (German)

0 references

given name

Franz

1 reference

based on heuristic

family name

Baader

1 reference

based on heuristic

inferred from person's full name

date of birth

15 June 1959

1 reference

24 April 2014

place of birth

Spalt

1 reference

languages spoken, written or signed

German Wikipedia

German

0 references

English

1 reference

dblp computer science bibliography

https://dblp.org/pers/hd/b/Baader:Franz

20 March 2019

3 references

26 June 2015

20 March 2019

Franz Baader - Curriculum vitae (English)

https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan

11 May 2020

university teacher

1 reference

20 March 2019

Franz Baader - Curriculum vitae (English)

researcher

1 reference

logic in computer science

20 March 2019

Franz Baader - Curriculum vitae (English)

field of work

1 reference

knowledge representation and reasoning

20 March 2019

1 reference

20 March 2019

1 reference

20 March 2019

1 reference

20 March 2019

1 reference

https://lmcs.episciences.org/page/editorial-board#Sankaranarayanan

20 March 2019

1 reference

11 May 2020

2002

1 reference

20 March 2019

Franz Baader - Curriculum vitae (English)

RWTH Aachen University

1993

2002

1 reference

German Research Center for Artificial Intelligence

20 March 2019

Franz Baader - Curriculum vitae (English)

1989

1993

1 reference

University of Erlangen–Nuremberg

20 March 2019

Franz Baader - Curriculum vitae (English)

1985

1989

1 reference

University of Erlangen–Nuremberg

20 March 2019

Franz Baader - Curriculum vitae (English)

educated at

1985

1989

1 reference

University of Erlangen–Nuremberg

20 March 2019

Franz Baader - Curriculum vitae (English)

1980

1985

1 reference

20 March 2019

Franz Baader - Curriculum vitae (English)

Gymnasium Roth

start time

1970

end time

1979

1 reference

20 March 2019

Franz Baader - Curriculum vitae (English)

academic degree

doctorate

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

Jörg Siekmann

1 reference

doctoral student

Ulrike Sattler

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

Carsten Lutz

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

Stefan Borgwardt

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

Rafael Peñaloza

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

Daniel Borchmann

1 reference

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=65090

20 March 2019

Can A. Albayrak

1 reference

Christopher B. Tresp

1 reference

Stephan Tobies

1 reference

Ralf Küsters

1 reference

Ralf Molitor

1 reference

Jörn Richts

1 reference

Sebastian Philipp Brandt

1 reference

Anni-Yasmin Turhan

1 reference

Jan Hladik

1 reference

Maja Milicic

1 reference

Boontawee Meng Suntisrivaraporn

1 reference

Hongkai Liu

1 reference

Martin Knechtel

1 reference

Marcel Lippmann

1 reference

Felix Distel

1 reference

Andreas Ecke

1 reference

Benjamin Zarrieß

1 reference

Veronika Thost

1 reference

İsmail İlkan Ceylan

1 reference

Stephan Böhme

1 reference

Francesco Kriegel

1 reference

Pavlos Marantidis

1 reference

Adrian Nuradiansyah

1 reference

student

Baris Sertkaya

1 reference

work location

Aachen

1 reference

1 April 2015

Dresden

1 reference

1 April 2015

AE section Informatics

start time

2011

2 references

20 March 2019

https://www.ae-info.org/ae/User/Baader_Franz

award received

EurAI Fellow

1 reference

https://www.eurai.org/awards_and_grants/fellows

Herbrand Award

point in time

2020

1 reference

http://www.cadeinc.org/Herbrand-Award

maintained by WikiProject

12 November 2020

WikiProject Mathematics

0 references

Erdős number

3

0 references

Identifiers

2 references

English Wikipedia

International Standard Name Identifier

1 reference

NORAF ID

2000869

1 reference

2 March 2022

1 reference

Bibliothèque nationale de France ID

2 March 2022

13620981b

1 reference

Canadiana Name Authority ID

11 August 2018

ncf12107496

1 reference

2 March 2022

1 reference

National Library of Israel J9U ID

German Wikipedia

987007281512305171

1 reference

Library of Congress authority ID

2 March 2022

n96080351

1 reference

1 reference

11 December 2018

1 reference

Nationale Thesaurus voor Auteursnamen ID

2 March 2022

153490187

1 reference

16 December 2014

http://viaf.org/viaf/34634110

1 reference

2 September 2020

1 reference

https://libris.kb.se/katalogisering/pm1474472whfwqj

2 March 2022

1 reference

12 November 2012

24 August 2018

0 references

1 reference

WorldCat Identities ID (superseded)

11 August 2018

lccn-n96080351

1 reference

ACM Digital Library author ID

0 references

1 reference

https://www.ae-info.org/ae/User/Baader_Franz

0 references

0 references

0 references

Google Scholar author ID

dIVc_FYAAAAJ

1 reference

Mathematics Genealogy Project ID

29 September 2015

65090

1 reference

1 reference