Elisa Böhl

2024-08-21T08:26:40Z

Elisa Böhl:

{{Mitarbeiter
|Vorname=Elisa
|Nachname=Böhl
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Logische Programmierung und Argumentation
|Stellung=Wissenschaftliche Mitarbeiterin
|Ehemaliger=0
|Telefon=+49 351 463 42666
|Email=elisa.boehl@tu-dresden.de
|Raum=APB 2017
|Bild=Elisa-400x600.jpg
|Info=Ich arbeite seit Oktober 2020 im BMBF geförderten Projekt [[NAVAS | NAVAS - Navigation im Lösungsraum von Answer Sets]] der Arbeitsgruppe [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logische Programmierung und Argumentation] Gruppe von [[Sarah Alice Gaggl]] 

*Nach meinem Informatik-Diplom (TU Dresden) habe ich in der Arbeitsgruppe [https://www.biotec.tu-dresden.de/fileadmin/groups/schaeffer/people.html Nanomechanics] von [https://imprs.tuebingen.mpg.de/de/research/faculty-and-projects/erik-schaeffer.html Erik Schäffer] die Software rund um optische Pinzetten mitgestaltet.
*Darauf folgend habe ich in Kooperation mit der [https://en.wikipedia.org/wiki/University_of_Applied_Sciences_Dresden HTW Dresden] an HMM-basierenden Spracherkennern mit minimalen Hardwareanforderungen gearbeitet.
*Danach habe ich in der Arbeitsgruppe [https://tu-dresden.de/med/mf/ksm/die-arbeitsgruppe Klinisches Sensoring and Monitoring] am [https://www.uniklinikum-dresden.de/de Universitätsklinikum Carl Gustav Carus Dresden] Softwarelösungen für die Durchführung und Auswertung von Thermographieaufnahmen in der Neurochirurgie entwickelt.
*Seit 2019 war ich in der Gruppe [[Computational Logic]] von [[Sebastian Rudolph]] tätig und bin 2020 in die Arbeitsgruppe [[Logische Programmierung und Argumentation]] von [[Sarah Alice Gaggl]] gewechselt. 
|Info EN=I'm the new member in the NAVAS Project from the group [[Logische Programmierung und Argumentation]] from [[Sarah Alice Gaggl]] 
After finishing my Diploma in Computer Science in Dresden I worked on a viarety of different research groups on different topics
*[https://www.biotec.tu-dresden.de/fileadmin/groups/schaeffer/people.html Nanomechanics] from [https://imprs.tuebingen.mpg.de/de/research/faculty-and-projects/erik-schaeffer.html Erik Schäffer]: Software around optical tweezers
*[https://en.wikipedia.org/wiki/University_of_Applied_Sciences_Dresden HTW Dresden]: minimalistic hmm-based speech recognizer
*Neurochirurgie/[https://tu-dresden.de/med/mf/ksm/die-arbeitsgruppe Klinisches Sensoring and Monitoring] at [https://www.uniklinikum-dresden.de/de Universitätsklinikum Carl Gustav Carus Dresden]: Thermal imaging
*Starting 2019 I have worked in the group [[Computational Logic]] from [[Sebastian Rudolph]] and switched 2020 into the group [[Logische Programmierung und Argumentation]] from [[Sarah Alice Gaggl]].
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{#subobject:
|Vorname=Elisa
|Nachname=Böhl
|Akademischer Titel=Dipl.-Inf.
|Forschungsgruppe=Computational Logic
|Stellung=Wissenschaftliche Mitarbeiterin
|Ehemaliger=1
|Telefon=+49 351 463 666
|Email=elisa.boehl@tu-dresden.de
|Raum=APB 2031
|Bild=elisa-400x600.jpg
|Info=Hello
|Info EN=Hello
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
|@category=Mitarbeiter
}}

Inproceedings3387

2024-08-06T12:18:27Z

Elisa Böhl: typo

{{Publikation Erster Autor
|ErsterAutorVorname=Elisa
|ErsterAutorNachname=Böhl
|FurtherAuthors=Stefan Ellmauthaler; Sarah Alice Gaggl
}}
{{Inproceedings
|Referiert=1
|Title=Winning Snake: Design Choices in Multi-Shot ASP
|To appear=1
|Year=2024
|Month=Oktober
|Booktitle=Proceeding of the 40th International Conference on Logic Programming (ICLP 2024)
}}
{{Publikation Details
|Abstract=Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and industry. The constant development of advanced programming and modeling techniques extends the toolset for developers and users regularly. This paper compiles and demonstrates different techniques to reuse logic program parts (multi-shot) by solving the arcade game snakes. This game is particularly interesting because a victory can be assured by solving the NP-hard problem of Hamiltonian Cycles. We will demonstrate five hands-on implementations in clingo and compare their performance in an empirical evaluation. In addition, our implementation utilizes clingraph to generate a simple yet informative image representation of the game's progress.
|Projekt=NAVAS
|Forschungsgruppe=Logische Programmierung und Argumentation
}}

Inproceedings3387

2024-08-06T12:16:45Z

Elisa Böhl: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Elisa |ErsterAutorNachname=Böhl |FurtherAuthors=Stefan Ellmauthaler; Sarah Alice Gaggl }} {{Inproceedings |Referiert=1 |Title=Winning Snake: Design Choices in Multi-Shot ASP |To appear=1 |Year=2024 |Month=Oktober |Booktitle=Proceeding of the 38th International Conference on Logic Programming (ICLP 2024) }} {{Publikation Details |Abstract=Answer set programming is a well-understood and established problem-sol…“

{{Publikation Erster Autor
|ErsterAutorVorname=Elisa
|ErsterAutorNachname=Böhl
|FurtherAuthors=Stefan Ellmauthaler; Sarah Alice Gaggl
}}
{{Inproceedings
|Referiert=1
|Title=Winning Snake: Design Choices in Multi-Shot ASP
|To appear=1
|Year=2024
|Month=Oktober
|Booktitle=Proceeding of the 38th International Conference on Logic Programming (ICLP 2024)
}}
{{Publikation Details
|Abstract=Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and industry. The constant development of advanced programming and modeling techniques extends the toolset for developers and users regularly. This paper compiles and demonstrates different techniques to reuse logic program parts (multi-shot) by solving the arcade game snakes. This game is particularly interesting because a victory can be assured by solving the NP-hard problem of Hamiltonian Cycles. We will demonstrate five hands-on implementations in clingo and compare their performance in an empirical evaluation. In addition, our implementation utilizes clingraph to generate a simple yet informative image representation of the game's progress.
|Projekt=NAVAS
|Forschungsgruppe=Logische Programmierung und Argumentation
}}

Proceedings3025/en

2024-08-06T12:08:58Z

2021-04-06T11:38:42Z

Elisa Böhl: Page created automatically by parser function on page APB 2004

APB 2004

2021-04-06T11:38:42Z

Elisa Böhl: Die Seite wurde neu angelegt: „{{Raum}}“

APB 2017/en

2021-04-06T11:38:19Z

Elisa Böhl: Page created automatically by parser function on page APB 2017

2021-01-22T16:28:36Z

Elisa Böhl: Page created automatically by parser function on page News56

News56

2021-01-22T16:28:36Z

Elisa Böhl: Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Neuer Mitarbeiter: Dominik Rusovac |Titel EN=New Member: Dominik Rusovac |Beschreibung DE=Dominik Rusovac ist das neueste Mitglied im…“

{{Neuigkeit
|Titel DE=Neuer Mitarbeiter: Dominik Rusovac
|Titel EN=New Member: Dominik Rusovac
|Beschreibung DE=[[Dominik Rusovac]] ist das neueste Mitglied im [[NAVAS]] Projekt in der Arbeitsgruppe [[Logische Programmierung und Argumentation]].
 
 Bevor Dominik an die TU Dresden kam, hat er 2019 an der [https://www.uni-leipzig.de Universität Leipzig] sein Masterstudium im Fach Logik abgeschlossen und im Anschluss bis 2021 als Junior Softwareentwickler bei [https://www.a-trust.at A-Trust] gearbeitet. Während seiner Masterarbeit unter Prof. Dr. Gerhard Brewka beschäftigte sich Dominik mit Inkonsistenz-Werten für nicht-monotone Formalismen, insbesondere Answer Set Semantics. Die Ergebnisse seiner [https://iccl.inf.tu-dresden.de/web/Inconsistency_Values_for_Logic_Programs_under_Answer_Set_Semantics Masterarbeit] stellte Dominik im Rahmen des [https://iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI Research Seminar Logic and AI] vor.

 
 
Herzlich willkommen im Team, Dominik!
|Beschreibung EN=Since january 2021 we welcome [[Dominik Rusovac]] as new PhD student in the [[NAVAS]] project.
 
 
Dominik studied at the [https://www.uni-leipzig.de Universität Leipzig] Logic and finished his Master thesis under Prof. Dr. Gerhard Brewka in 2019. He worked on the topic of [https://iccl.inf.tu-dresden.de/web/Inconsistency_Values_for_Logic_Programs_under_Answer_Set_Semantics Inconsistency Values for Logic Programs under Answer Set Semantics] and presented his results in the [https://iccl.inf.tu-dresden.de/web/Research_Seminar_Logic_and_AI Research Seminar Logic and AI]. Before joining the group [[Logische Programmierung und Argumentation|Logic Programming and Argumentation]] of [[Sarah Gaggl]] he worked as junior software developer at [https://www.a-trust.at A-Trust].

 
 

Good luck Dominik!
|Datum=2021/01/22
|Bild=Some portrait.jpeg
|Forschungsgruppe=Logische Programmierung und Argumentation
}}

Dominik Rusovac

2021-01-15T14:37:18Z

Elisa Böhl:

{{Mitarbeiter
|Vorname=Dominik
|Nachname=Rusovac
|Akademischer Titel=M.A.
|Forschungsgruppe=Logische Programmierung und Argumentation
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Email=dominik.rusovac@tu-dresden.de
|Raum=APB 2017
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Answer Set Programming
}}