https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Franz+Baader 2026-04-17T18:17:50Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Franz_Baader&diff=19360 2016-05-02T08:57:28Z

<p>Franz Baader: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Franz<br /> |Nachname=Baader<br /> |Akademischer Titel=Prof. Dr.-Ing.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Professor<br /> |Ehemaliger=0<br /> |Telefon=+49 (0) 351 463-39160<br /> |Fax=+49 (0) 351 463-37959<br /> |Email=baader@tcs.inf.tu-dresden.de<br /> |Raum=APB 3021<br /> |Bild=Franz-16 150.jpg<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/b/Baader:Franz<br /> |Google Scholar=http://scholar.google.de/citations?user=dIVc_FYAAAAJ<br /> |Alternative URI=http://lat.inf.tu-dresden.de/~baader/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Franz-16_150.jpg&diff=19359 2016-05-02T08:56:33Z

<p>Franz Baader: </p> <hr /> <div></div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2028/en&diff=9784 2015-03-03T20:33:48Z

<p>Franz Baader: Page created automatically by parser function on page Aktivitaet2028</p> <hr /> <div>#REDIRECT [[Aktivitaet2028]]</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2028&diff=9783 2015-03-03T20:33:48Z

<p>Franz Baader: Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Steering Committee von DL: Workshop on Description Logics (2000-2002; 2008-2011) |Beschreibung EN=Member of the Steer…“</p> <hr /> <div>{{Aktivität<br /> |Beschreibung DE=Mitglied im Steering Committee von DL: Workshop on Description Logics (2000-2002; 2008-2011)<br /> |Beschreibung EN=Member of the Steering Committee of DL: Workshop on Description Logics (2000-2002; 2008-2011)<br /> |Person=Franz Baader<br /> |URL=http://dl.kr.org/workshops/index.html<br /> |Start(Jahr)=2015<br /> |Ende(Jahr)=2025<br /> |Rank=★★★<br /> }}</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2027/en&diff=9782 2015-03-03T20:31:23Z

<p>Franz Baader: Page created automatically by parser function on page Aktivitaet2027</p> <hr /> <div>#REDIRECT [[Aktivitaet2027]]</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2026/en&diff=9780 2015-03-03T20:30:33Z

<p>Franz Baader: Page created automatically by parser function on page Aktivitaet2026</p> <hr /> <div>#REDIRECT [[Aktivitaet2026]]</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2025/en&diff=9778 2015-03-03T20:25:45Z

<p>Franz Baader: Page created automatically by parser function on page Aktivitaet2025</p> <hr /> <div>#REDIRECT [[Aktivitaet2025]]</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Aktivitaet2025&diff=9777 2015-03-03T20:25:43Z

<p>Franz Baader: Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President…“</p> <hr /> <div>{{Aktivität<br /> |Beschreibung DE=Mitglied im Steering Committee von CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013)<br /> |Beschreibung EN=Member of the steering committee CADE: Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013)<br /> |Person=Franz Baader<br /> |URL=http://www.cadeinc.org/<br /> |Start(Jahr)=2015<br /> |Ende(Jahr)=2025<br /> |Rank=★★★<br /> }}</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Franz_Baader&diff=8293 2014-10-31T14:42:00Z

<p>Franz Baader: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Franz<br /> |Nachname=Baader<br /> |Akademischer Titel=Prof. Dr.-Ing.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Professor<br /> |Ehemaliger=0<br /> |Telefon=+49 (0) 351 463-39160<br /> |Fax=+49 (0) 351 463-37959<br /> |Email=baader@tcs.inf.tu-dresden.de<br /> |Raum=INF 3021<br /> |Bild=BaaderJuy2013.jpg<br /> |DBLP=http://www.informatik.uni-trier.de/~ley/pers/hd/b/Baader:Franz<br /> |Google Scholar=http://scholar.google.de/citations?user=dIVc_FYAAAAJ&amp;hl=de<br /> |Alternative URI=http://lat.inf.tu-dresden.de/~baader/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Franz Baader https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:BaaderJuy2013.jpg&diff=8292 2014-10-31T14:41:28Z

<p>Franz Baader: </p> <hr /> <div></div>

Franz Baader