https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Karina+Neupert 2026-04-19T23:00:02Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Karina_Neupert&diff=42469 2025-06-10T11:22:25Z

<p>Karina Neupert: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Karina<br /> |Nachname=Neupert<br /> |Forschungsgruppe=Computational Logic; Logische Programmierung und Argumentation<br /> |Stellung=Technikerin<br /> |Ehemaliger=0<br /> |Telefon=+49 351 463 38521<br /> |Email=karina.neupert@tu-dresden.de<br /> |Raum=APB 2004<br /> |Bild=Adler.jpeg<br /> |Publikationen anzeigen=0<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=Lukas_Schweizer&diff=34008 2021-06-10T08:59:07Z

<p>Karina Neupert: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Lukas<br /> |Nachname=Schweizer<br /> |Akademischer Titel=M.Sc.<br /> |Forschungsgruppe=Computational Logic<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Telefon=+49 351 463 43559<br /> |Email=firstname.lastname@tu-dresden.de<br /> |Raum=APB 2033<br /> |Sprechstunde Tag=Di<br /> |Sprechstunde Beginn=10:00<br /> |Sprechstunde Ende=12:00<br /> |Bild=Lschweizer.jpg<br /> |Info=== About Me ==<br /> I am a research assistant at the Institute for Artificial Intelligence, in the [[Computational_Logic|Computational Logic group]]. I am working on [[Beschreibungslogiken|description logics]], investigating non-standard semantics, their corresponding computational properties and potential practical reasoning.<br /> <br /> Since April 2016, I am an associate doctoral student in the research training group [https://lat.inf.tu-dresden.de/quantla QuantLA].<br /> <br /> == Awards ==<br /> * Runner-Up, [https://aibirds.org/angry-birds-ai-competition/competition-results.html &quot;AI Birds Challenge, IJCAI 2019, Macau&quot;]<br /> * Best Paper Award @ EPIA 2017 for the work on [https://iccl.inf.tu-dresden.de/web/Inproceedings3162 &quot;Complexities of Fixed-Domain Reasoning in First-Order and Description Logics]<br /> * Best Diploma Thesis @ Furtwangen University of Applied Science, Development Fund of the Faculty of Computer Science<br /> |Info EN=== About Me ==<br /> I am a research assistant at the Institute for Artificial Intelligence, in the [[Computational_Logic|Computational Logic group]]. I am working on [[Beschreibungslogiken|description logics]], investigating non-standard semantics, their corresponding computational properties and potential practical reasoning.<br /> <br /> Since April 2016, I am an associate doctoral student in the research training group [https://lat.inf.tu-dresden.de/quantla QuantLA].<br /> <br /> == Awards ==<br /> * Best Paper Award @ EPIA 2017 for the work on [https://iccl.inf.tu-dresden.de/web/Inproceedings3162 &quot;Complexities of Fixed-Domain Reasoning in First-Order and Description Logics]<br /> * Best Diploma Thesis @ Furtwangen University of Applied Science, Development Fund of the Faculty of Computer Science<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/s/Schweizer:Lukas<br /> |Google Scholar=https://scholar.google.de/citations?user=10wXQeAAAAAJ&amp;hl<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Semantische Technologien<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Wissensrepräsentation und logisches Schließen<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Constraint Satisfaction Problems<br /> }}</div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=Karina_Neupert&diff=33938 2021-05-28T18:54:12Z

<p>Karina Neupert: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Karina<br /> |Nachname=Adler<br /> |Forschungsgruppe=Computational Logic; Logische Programmierung und Argumentation<br /> |Stellung=Technikerin<br /> |Ehemaliger=0<br /> |Telefon=+49 351 463 38521<br /> |Email=karina.adler@tu-dresden.de<br /> |Raum=APB 2004<br /> |Bild=Adler.jpeg<br /> |Publikationen anzeigen=0<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=Karina_Neupert&diff=33937 2021-05-28T18:50:55Z

<p>Karina Neupert: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Karina<br /> |Nachname=Adler<br /> |Forschungsgruppe=Computational Logic; Logische Programmierung und Argumentation<br /> |Stellung=Technikerin<br /> |Ehemaliger=0<br /> |Telefon=+49 351 463 38521<br /> |Email=karina.adler@tu-dresden.de<br /> |Raum=APB 2004<br /> |Bild=Adler.jpg<br /> |Publikationen anzeigen=0<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:Adler.jpeg&diff=33936 2021-05-28T18:49:20Z

<p>Karina Neupert: </p> <hr /> <div></div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=APB_2004&diff=33584 2021-04-06T12:03:40Z

<p>Karina Neupert: </p> <hr /> <div>{{Raum<br /> |Navigator URL=https://navigator.tu-dresden.de/etplan/apb/02/raum/542102.5070<br /> }}</div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=Karina_Neupert&diff=33574 2021-04-06T11:29:29Z

<p>Karina Neupert: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Karina<br /> |Nachname=Adler<br /> |Forschungsgruppe=Computational Logic; Logische Programmierung und Argumentation<br /> |Stellung=Technikerin<br /> |Ehemaliger=0<br /> |Telefon=+49 351 46338521<br /> |Email=karina.adler@tu-dresden.de<br /> |Raum=APB 2004<br /> |Publikationen anzeigen=0<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Karina Neupert https://iccl.inf.tu-dresden.de/w/index.php?title=Karina_Neupert&diff=33573 2021-04-06T11:28:50Z

<p>Karina Neupert: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Karina<br /> |Nachname=Adler<br /> |Forschungsgruppe=Computational Logic; Logische Programmierung und Argumentation<br /> |Stellung=Technikerin<br /> |Ehemaliger=0<br /> |Telefon=+49 351 46338521<br /> |Email=karina.adler@tu-dresden.de<br /> |Raum=2004<br /> |Publikationen anzeigen=0<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Karina Neupert