Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

Manuel Bodirsky + (. Since August 2014 Full Professor of Algebra und Discrete Structures.)

Sarah Alice Gaggl + ( )
Julia Koppenhagen + (<h3> Main Work Within the ICCL < … <h3> Main Work Within the ICCL</h3><ul> <li> Administrative Work for the KRR group </li> <li> Organization and web pages <a href="http://www.computational-logic.org/content/study/master/current.php?id=43" target="_blank">for current students</a> at TUD (MCL) </li> <li> Organization and web pages of several events (see below) </li> <li> Assistance in organization and web pages for the <a href="http://www.emcl-study.eu/" target="_blank">European Master's Program in Computational Logic</a> (EMCL) </li> <li> Assistance in organization and web pages for the <a href="http://www.epcl-study.eu/" target="_blank">European PhD Program in Computational Logic</a> (EPCL) </li> <li> Assistance in organization of the <a href="http://www.wv.inf.tu-dresden.de/GIDiss/" target="_blank">GI Dissertation Price</a> and the colloquium </li></ul><h3> Further Duties Without the ICCL</h3> Please note that the contact details above do not apply for these duties.<ul> <li> In charge of the MCL and EMCL study programs in the <a href="http://www.inf.tu-dresden.de/index.php?node_id=2690&ln=en" target="_blank">Service Center for International Students</a> (SCIS) </li> <li> Administrative assistance to Dr. Uwe Petersohn of the <a href="http://www.inf.tu-dresden.de/index.php?node_id=2222" target="_blank">Applied Knowledge Representation and Reasoning Group</a> (AWV) </li></ul><h2> Events of Her Organization</h2><h3> Summer Schools, Conferences and Workshops at the ICCL</h3><ul> <li> <a href="http://www.computational-logic.org/content/events/iccl-ss-2013/index.php?id=24" target="_blank">ICCL Summer School on Sementic Web - Ontology Languages and Their Use</a> (August 18 - 31, 2013) </li> <li> <a href="http://www.emcl-study.eu/emclws_ss10.html" target="_blank">EMCL Student Summer Workshop 2010</a> (September 8 - 11, 2010) </li> <li> <a href="http://www.computational-logic.org/content/events/iccl-ss-2010/index.php?id=24" target="_blank">ICCL Summer School on Cognitive Science, Computational Logic and Connectionism</a> (August 29 - September 11, 2010) </li> <li> <a href="http://www.jelia.eu/2008/" target="_blank">JELIA 2008</a> - 11th European Conference on Logics in Artificial Intelligence (September 28 - October 1, 2008) </li> <li> <a href="http://www.computational-logic.org/content/events/iccl-ss-2008/index.php?id=24" target="_blank">ICCL Summer School on Computational Logic and Cognitive Science</a> (August 24 - September 6, 2008) </li> <li> <a href="http://www.computational-logic.org/content/events/iccl-ss-2006/index.php?id=24" target="_blank">ICCL Summer School on Knowledge Structures</a> (June 26 - July 7, 2006) - <a href="http://www.computational-logic.org/content/events/iccl-ss-2006/lookingback/index.php?id=24" target="_blank">Summary and pictures</a> </li> <li> <a href="http://www.computational-logic.org/content/events/iccl-ss-2005/index.php?id=24" target="_blank">ICCL Summer School on Logic-Based Knowledge Representation</a> (July 4 - 15, 2005) - <a href="http://www.computational-logic.org/content/events/iccl-ss-2005/lookingback/index.php?id=24" target="_blank">Summary and pictures</a> </li></ul><h3> Assistance for Other Summer Schools and Conferences</h3><ul> <li> <a href="http://dhsphue.edu.vn/summerschool2014/view/index.php?opt=showmenu&idmenu=1" target="_blank">3rd Vietnamese Summer School 2014 on Computational Logic and its Applications</a> at Hue University of Education, Hue, Vietnam (August 17 - 30, 2014) </li> <li> <a href="http://www.computational-logic.org/content/events/bali2012.php?id=24" target="_blank">4th Indonesian Summer School 2012 on Computational Logic</a> at Udayana University, Bali, Indonesia (September 2 - 15, 2012) </li> <li> <a href="http://www.computational-logic.org/lpar-17" target="_blank">LPAR-17</a> - 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in Yogyakarta, Indonesia (October 10 - 15, 2010) </li> <li> <a href="http://logic.informatics.uii.ac.id" target="_blank">3rd Indonesian Summer School 2010 on Computational Logic</a> at UII, Yogyakarta, Indonesia (October 3 - 16, 2010) </li> <li> <a href="http://staf.cs.ui.ac.id/summerschool/" target="_blank">2nd Indonesian Summer School 2008 on Computational Logic and Its Applications</a> at UI, Jakarta, Indonesia (August 4 - 15, 2008) </li> <li> <a href="http://is.hut.vn/projects/summerschool07.html" target="_blank">EA-SS-2007</a> - EA Summer School 2007 on Computational Logic and Logic Foundations of Computer Science at HUT, Hanoi, Vietnam (July 31 - August 7, 2007) </li> <li> <a href="http://www.cs.ui.ac.id/id/agenda/international-summer-school-2006-logical-foundations-of-intelligent-systems/" target="_blank"></a>EA-SS-2006 - EA Summer School 2006 on Logic Foundations of Intelligent Systems at UI, Jakarta, Indonesia (July 31 - August 11, 2006) </li> <li> <a href= "http://www1.hut.edu.vn/khoavien/khoacongnghethongtin/summerschool.html" target="_blank">EA-SS-2005</a> - EA Summer School 2005 on Computational Logic and Logic Foundations of Computer Science at HUT, Hanoi, Vietnam (August 22 - September 1, 2005) </li></ul>ui.ac.id/id/agenda/international-summer-school-2006-logical-foundations-of-intelligent-systems/" target="_blank"></a>EA-SS-2006 - EA Summer School 2006 on Logic Foundations of Intelligent Systems at UI, Jakarta, Indonesia (July 31 - August 11, 2006) </li> <li> <a href= "http://www1.hut.edu.vn/khoavien/khoacongnghethongtin/summerschool.html" target="_blank">EA-SS-2005</a> - EA Summer School 2005 on Computational Logic and Logic Foundations of Computer Science at HUT, Hanoi, Vietnam (August 22 - September 1, 2005) </li> </ul>)
Lukas Schweizer + (== About Me == I am a research assistant a … == About Me ==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.Since April 2016, I am an associate doctoral student in the research training group [https://lat.inf.tu-dresden.de/quantla QuantLA].== Awards ==* Best Paper Award @ EPIA 2017 for the work on [https://iccl.inf.tu-dresden.de/web/Inproceedings3162 "Complexities of Fixed-Domain Reasoning in First-Order and Description Logics]* Best Diploma Thesis @ Furtwangen University of Applied Science, Development Fund of the Faculty of Computer Sciencent Fund of the Faculty of Computer Science)
Bartosz Bednarczyk + (== About Me == I was a PHD student and a r … == About Me ==I was a PHD student and a researcher at TU Dresden and at University of Wrocław, supervised jointly by Sebastian Rudolph (Dresden) and Emanuel Kieroński (Wrocław). Before joining TU Dresden I studied "Parisian Master of Research in Computer Science" at ENS Paris-Saclay, under the supervision of Stéphane Demri.My works focus on different aspects of ontology mediated data access and applications of decidable fragments of first-order logic (like existential rules or guarded-fragments) to database-inspired reasoning problems. More broadly, I'm interested in finite model theory. Since April 2019 I am employed in the ERC grant DeciGUT. Moreover, from September 2018 until September 2022 I was a principal investigator in my own Polish Ministry of Science and Higher Education grant titled "Logics with generalized counting quantifiers for data-aware processes and database systems".One of my biggest passions is teaching. I actively contribute to an introductory logic course at the University of Wrocław (as a problem setter, organiser of exercise sessions, and supplementary lecturer). From time to time I also organise classes related to finite model theory (both in Wrocław and Dresden), so feel free to contact me if you are interested in doing some research projects (BSc/MSc/PHD) in related areas! At the beginning of 2022, I kick-started a teaching company and started teaching some classes in the XIV highschool in Wrocław. classes in the XIV highschool in Wrocław.)
Elisa Böhl + (Hello)
Irina Dragoste + (Hello, I am Irina Dragoste, and have been a PhD student in the [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] group led by Prof. Dr. [[Markus Krötzsch]] since December 2016.)
David Carral + (Hi! I am a postdoctoral scholar here at t … Hi!I am a postdoctoral scholar here at the [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] group led by Prof. Dr. [[Markus Krötzsch]].Broadly speaking, I am interested in symbolic artificial intelligence and knowledge representation related topics. More precisely, I study the theoretical properties of logical languages such as [[Beschreibungslogiken/en|Description Logics]] and [[Existenzielle Regeln/en|Existential Rules]], and the use and application of [[Semantische Technologien/en|Semantic Technologies]] in different domains.A bit about my academic career: I completed my master's and doctor's degrees at Wright State University, both under the supervision of Prof. Dr. [http://dase.cs.wright.edu/people/Pascal-Hitzler Pascal Hitzler], in 2012 and 2016, respectively. For a couple months at the beginning of my Ph.D., I was an exchange student at the University of Oxford, working under the supervision of Prof. Dr. [http://www.cs.ox.ac.uk/people/bernardo.cuencagrau/ Bernardo Cuenca Grau].ernardo.cuencagrau/ Bernardo Cuenca Grau].)
Ali Elhalawati + (Hi, I'm Ali Elhalawati, a Phd Student in the Knowledge-based Systems group, under the supervision of Prof. Dr. Markus Kroetzsch, since August 2019. My research interests are Datalog, Existential rules, Rule-Reasoning and Provenance.)
Simon Knäuer + (I am a Ph.D. student in the DFG Research T … I am a Ph.D. student in the DFG Research Training Group [[QuantLA]].Currently I am working on* Infinite Domain Constraint Satisfaction Problems* CSPs of Finite Relation Algebras* Second Order Logic and CSPsMy supervisors are Prof. Dr. [[Manuel Bodirsky]] and Prof. Dr. [[Franz Baader]][[Franz Baader]])
Piotr Ostropolski-Nalewaja + (I am a PhD student at the University of Wr … I am a PhD student at the University of Wrocław and a researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern topics within the fields of Logic, Database Theory, Knowledge Representation, and AI. Theory, Knowledge Representation, and AI.)
Larry González + (I am a PhD student in the [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] … I am a PhD student in the [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] group lead by Prof. Dr. [[Markus Krötzsch]] since January 2018.I completed my master's degree at the [http://www.uchile.cl/ University of Chile], under the supervision of Dr. [http://aidanhogan.com/ Aidan Hogan]. Dr. [http://aidanhogan.com/ Aidan Hogan].)
İsmail İlkan Ceylan + (I am a PhD student under the supervision o … I am a PhD student under the supervision of [https://iccl.inf.tu-dresden.de/web/Franz_Baader/en Prof. Franz Baader] since December 2013 as part of the Graduate School [https://wwwdb.inf.tu-dresden.de/rosi RoSI]. I did my Master studies in the [https://iccl.inf.tu-dresden.de/web/International_Center_for_Computational_Logic International Center for Computational Logic]. Prior to that I was studying in [http://www.metu.edu.tr METU], Turkey, where I also obtained my Bachelor degree in Computer Science. My research interests are centered around knowledge representation and reasoning (mainly based on ontology languages). In particular, I am interested in reasoning under uncertainty, probabilistic databases, and ontology-mediated query answering.es, and ontology-mediated query answering.)
Maximilian Marx + (I am a doctoral student in the [[Knowledge-Based Systems]] … I am a doctoral student in the [[Knowledge-Based Systems]] group of [[Markus Krötzsch]], working on Existential rules and Description Logics. My background is in Mathematics, specifically Universal Algebra, and my interests include higher-order logics and functional programming. I also contribute to the [https://tools.wmflabs.org/sqid/#/ SQID browser] for [http://wikidata.org Wikidata].owser] for [http://wikidata.org Wikidata].)
Anni-Yasmin Turhan + (I am a post-doc research and teaching fellow (with tenure position "akademische Rätin") at the Chair for Automata Theory, in the Institute for Theoretical Computer Science at the TU Dresden.)
Dörthe Arndt + (I am a postdoctoral researcher in the Comp … I am a postdoctoral researcher in the Computational Logic. My research centers around the different logics and formalisms of the Semantic Web and their relationship to each other. Here, I focus especially on rule-based reasoning (especially Notation 3 Logic) . reasoning (especially Notation 3 Logic) .)
Tim Lyon + (I am a postdoctoral researcher in the Comp … I am a postdoctoral researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics. Prior to joining TU Dresden, I was a PhD student at Technische Universität Wien, where I worked on the TICAMORE (Translating and Discovering Calculi for Modal and Related Logics) project under the supervision of Prof. Agata Ciabattoni.the supervision of Prof. Agata Ciabattoni.)
Stefan Ellmauthaler + (I am a postdoctoral researcher in the [[Wissensbasierte Systeme/en|Knowledge-based Systems]] … I am a postdoctoral researcher in the [[Wissensbasierte Systeme/en|Knowledge-based Systems]] group of Prof. Dr. [[Markus Krötzsch]]. I received both, my B.Sc. in "Medicine and Computer Science" in 2009, as well as my diploma in "Computational Intelligence" in 2012, at the Vienna University of Technology. In 2018 I defended my doctoral thesis "Multi-Context Reasoning in Continuous Data-Flow Environments" which has been supervised by Prof. Dr. Gerhard Brewka at Leipzig University.My research interests are knowledge representation, logic programming, rule-based reasoning, multi-context reasoning, nonmonotonic reasoning, and (abstract) argumentation theory.ning, and (abstract) argumentation theory.)
Luisa Herrmann + (I am a postdoctoral researcher in the [htt … I am a postdoctoral researcher in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic Group] at TU Dresden and part of [https://scads.ai ScaDS.AI Dresden/Leipzig]. Before that, I worked as a research associate at the [https://www.orchid.inf.tu-dresden.de/index.en/ Chair for Foundations of Programming]. During my time as a doctoral student I was a scholarship holder in the DFG Research Training Group [https://lat.inf.tu-dresden.de/quantla/ QuantLA].I support the TCS4F initiative [[Datei:Tcs4f.png|70px|baseline|link=https://tcs4f.org]] .[[Datei:Tcs4f.png|70px|baseline|link=https://tcs4f.org]] .)
Alex Ivliev + (I am a research associate and PhD student … I am a research associate and PhD student in the [[Knowledge-Based Systems]] group of Prof. Dr. [[Markus Krötzsch]]. Currently, I am working on the optimization of rule-based systems. During my studies, I focused on database theory, logics, complexity theory, and natural language processing.y theory, and natural language processing.)
Hannes Straß + (I am a research associate in [https://iccl … I am a research associate in [https://iccl.inf.tu-dresden.de/web/Sebastian_Rudolph/en Sebastian Rudolph]'s [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic Group] since July 2021.I received my PhD (Dr. rer. nat.) and habilitation both from [http://www.zv.uni-leipzig.de/en/ Leipzig University] in 2012 and 2017, respectively.My habilitation thesis is titled “[https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-167205 Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning]”;its acceptance was recommended by [https://informatik.uni-leipzig.de/~brewka/ Prof. Gerhard Brewka], [https://people.cs.kuleuven.be/~marc.denecker/ Prof. Marc Denecker], and [http://cgi.csc.liv.ac.uk/~ped/ Prof. Paul E. Dunne].My PhD thesis “[https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa-89316 Default Reasoning about Actions]” was supervised by [http://www.cse.unsw.edu.au/~mit/ Prof. Michael Thielscher] and [http://informatik.uni-leipzig.de/~brewka/ Prof. Gerhard Brewka].From January 2018 to June 2021, I worked as a [https://www.sab.sachsen.de/f%C3%B6rderprogramme/sie-m%C3%B6chten-ein-unternehmen-gr%C3%BCnden-oder-in-ihr-unternehmen-investieren/innoexperts.jsp Senior Innovation Expert] at [http://www.compl3te.com compl3te GmbH] in Leipzig.From May 2011 to December 2017, I was a research associate in the group of [https://informatik.uni-leipzig.de/~brewka/ Prof. Gerhard Brewka] at [https://www.uni-leipzig.de Leipzig University].From September 2010 to April 2011, I was a visiting researcher at [https://www.unsw.edu.au The University of New South Wales] in Sydney, Australia.From October 2008 to February 2011, I was a research associate and PhD student in [https://iccl.inf.tu-dresden.de/web/Michael_Thielscher Michael Thielscher]'s Computational Logic Group at TU Dresden.Before that, I obtained my B.Sc. in Computer Science and M.Sc. in [https://www.computational-logic.org Computational Logic] both from the TU Dresden in 2006 and 2008, respectively.My main research interest lies in logic-based knowledge representation and reasoning, with a special focus on non-monotonic reasoning. special focus on non-monotonic reasoning.)
Tomáš Masopust + (I am a research associate in the [[Knowledge-Based Systems]] … I am a research associate in the [[Knowledge-Based Systems]] group at the Department of Computer Science at the Technical University of Dresden led by Prof. Dr. [[Markus Krötzsch]].My research interest includes * theoretical computer science* automata theory* formal languages* discrete event systems* supervisory controlscrete event systems * supervisory control)
Philipp Hanisch + (I am a research associate in the research … I am a research associate in the research group [[Wissensbasierte Systeme|Knowledge-Based Systems]] of [[Markus_Krötzsch|Prof. Dr. Markus Krötzsch]] since September 2022. Additionally, as the scientific coordinator of the [https://secai.org/ School of Embedded Composite Artificial Intelligence (SECAI)], I coordinate the professional and organizational development of the School in close coordination with its board and partners.Before becoming a research associate, I have already worked with the research group as a student assistant and as part of my studies, e.g., writing my diploma thesis. After my graduation at TU Dresden in 2021, I have worked as Young Graduate Trainee for the European Space Agency before returning to Dresden. My research interests are Knowledge Representation and Reasoning, Answer Set Programming, and Artificial Intelligence. Programming, and Artificial Intelligence.)
Rafael Peñaloza Nyssen + (I am a scientific researcher at TU Dresden … I am a scientific researcher at TU Dresden, and member of the [[Center for Advancing Electronics Dresden]].My work focuses mainly on non-standard semantics and inferences for Description Logics and other logical approaches. I also like to take [http://flic.kr/rpenalozan pictures].Since April 2015, I have joined the KRDB Research Centre in the Free University of Bozen-Bolzano. Visit [http://www.inf.unibz.it/~penaloza my new webpage].ww.inf.unibz.it/~penaloza my new webpage].)
Long Cheng + (I am currently working as a Post-Doctoral Researcher in the Knowledge Systems Group led by Dr. Markus Krötzsch at TU Dresden. My research interests mainly include: * Distributed computing * Large-scale data processing * Data management * Semantic web.)
Stefan Borgwardt + (I am currently working as a researcher in … I am currently working as a researcher in the DFG project BA 1122/17-1 [https://lat.inf.tu-dresden.de/research/index-en.html#fuzzy Reasoning in Fuzzy Description Logics with General Concept Inclusion Axioms (FuzzyDL)]. I am interested in formal properties of logical formalisms, including description logics, fuzzy/weighted logics, and temporal logics.uzzy/weighted logics, and temporal logics.)
Martin Diller + (I am part of [https://iccl.inf.tu-dresden. … I am part of [https://iccl.inf.tu-dresden.de/web/Sarah_Alice_Gaggl/en Sarah Gaggl]'s group, [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation/en Logic Programming and Argumentation], since its inception in October 2020. I am currently a researcher for the "AIassisted regulatory workflows for medical microsystems and cyber security" project, part of the interdisciplinary [https://semeco.info SEMECO] cluster. Being located at TU Dresden since May 2019 (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group), I was previously employed by the [https://scads.ai Center for Scalable Data Analytics and Artificial Intelligence] (2023) as well as the [https://www.perspicuous-computing.science/ Transregional Collaborative Research Centre “Foundations of Perspicuous Software Systems”] (2019-22). Before coming (back) to TU Dresden I was a research assistant at the [https://informatics.tuwien.ac.at/orgs/e192-02 Database And Artificial Intelligence] and [https://informatics.tuwien.ac.at/orgs/e192-03 Knowledge-based Systems] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team initiated by [https://informatics.tuwien.ac.at/people/stefan-woltran Stefan Woltran] there. At TU Wien I also completed my Phd, in the doctoral program [https://logic-cs.at/phd/ Logical Methods in Computer Science]. I hold a joint MSc degree in Computational Logic from TU Dresden, FU Bozen-Bolzano (Italy), and TU Wien ([https://en.wikipedia.org/wiki/European_Master_Program_in_Computational_Logic EMCL], Erasmus Mundus scholarship). Before, I did the equivalent of a MA in Philosophy (Logic & Epistemology track) and a BSc in Computer Science at [https://www.unc.edu.ar/english/ Universidad Nacional de Córdoba], Argentina. There I was also briefly a postgraduate scholar funded by [https://www.conicet.gov.ar/?lan=en CONICET]. I have also been at the University of Aberdeen, Scotland, UCL in London, England, and NICTA-Canberra, Australia for internships and short research stays working on applied aspects of argumentation and automated reasoning.My research is mainly on formal models of argumentation and their realisation for [https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2704 argumentation-based AI systems].cle/view/2704 argumentation-based AI systems].)
Markus Krötzsch + (I am professor for [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] … I am professor for [[Wissensbasierte Systeme/en|Knowledge-Based Systems]] at the Institute for Theoretical Computer Science of the Faculty of Computer Science at TU Dresden. The professorship is also part of TUD's [[cfaed/en|Center for Advancing Electronics]]. My scientific interests are, broadly speaking, in the area of intelligent knowledge management systems. I have made contributions to lightweight and rule-based ontology languages, query answering, reasoning complexity, and content management and integration platforms for the Web of Data. This has led to many publications, but also to introductory texts (including two textbooks) and other teaching materials. I also co-edited the W3C Web Ontology Language standard OWL 2.My most important applied work at the moment is [[Wikidata/en|Wikidata]]. Other projects I have contributed to include the semantic content management system [[Semantic MediaWiki/en|Semantic MediaWiki]] and the highly efficient ELK ontology reasoner. Behind each of these projects are a number of truly outstanding people with whom I have had (and still have) the pleasure to work.had (and still have) the pleasure to work.)
Claudia Carapelle + (I completed my PhD in Theoretical Computer Science at Universität Leipzig, Germany, in 2015. Before that I received a Master's degree in Mathematics from Unversità degli Studi di Firenze, Italy, in 2012.)
Alexander Krause + (I did my my Diploma Thesis at TUD during t … I did my my Diploma Thesis at TUD during the winter semester 2014/2015 about the topic "Framework for the Specification and Execution of Parallel Clustering Algorithms" at the Chair of Databases. After my graduation, I joind the [http://tu-dresden.de/forschung/forschungskompetenz/sonderforschungsbereiche/sfb912/index_html/document_view?set_language=en HAEC Project], where I am doing my research including but not limited to the fields of distributed Graph Databases.the fields of distributed Graph Databases.)
Norbert Manthey + (I finished my Computer Science studies at … I finished my Computer Science studies at the TU Dresden, Germany, in the December of 2010 and now I work in the institute of Artificial Intelligence. I am mostly interested in SAT solving, especially solving by exploiting modern multi core CPUs. Over the years, I developped several tools that either solve SAT or SAT related problems (for example Max-SAT, MUS, model enumeration), and also created the stand-alone CNF simplifier Coprocessor, which ships with most of the known CNF simplification techniques. After defending my dissertation in December 2014 I am now looking to apply SAT technology into other research areas as well as to industrial problems.h areas as well as to industrial problems.)
Michaël Thomazo + (I graduated from MPRI in 2010 at the Ecole … I graduated from MPRI in 2010 at the Ecole Normale Supérieure de Cachan, France. I then started a Ph.D. in knowledge representation and reasoning within the INRIA team GraphIK, based in Montpellier, at LIRMM, supervised jointly by Marie-Laure Mugnier and Jean-François Baget. My thesis, entitled “Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms”, focused on data access when taking general domain knowledge into account. I am now a post-doctoral research assistant at the Computational Logic Group at the TU Dresden, since October 2013, and an Alexander von Humboldt Fellow since July 2014.ander von Humboldt Fellow since July 2014.)
Dominik Rusovac + (I joined the BMBF funded project [https:// … I joined the BMBF funded project [https://iccl.inf.tu-dresden.de/web/NAVAS NAVAS - Navigation Approaches for Answer Sets] as part of my doctoral studies and as a member of the research group [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logic Programming and Argumentation] in January 2021.amming and Argumentation] in January 2021.)
Dominik Rusovac + (I joined the BMBF funded project [https:// … I joined the BMBF funded project [https://iccl.inf.tu-dresden.de/web/NAVAS NAVAS - Navigation Approaches for Answer Sets] as part of my doctoral studies and as a member of the research group [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logic Programming and Argumentation] in January 2021.amming and Argumentation] in January 2021.)
Dagmar Gromann + (I joined the [[Computational Logic/en|Computational Logic Group]] … I joined the [[Computational Logic/en|Computational Logic Group]] at the Technical University Dresden as post-doc researcher in November 2017. Prior to that I had been working with [http://www.iiia.csic.es/~marco/Bio.html Marco Schorlemmer] at the [https://www.iiia.csic.es/ Artificial Intelligence Research Institute (IIIA)] in Barcelona as a post-doc researcher within the [https://www.essence-network.com ESSENCE Marie Curie Initial Training Network] from November 2015 to October 2017, a project that focused on enabling computational systems to share, negotiate, and evolve meaning in ways similar to human communication without prior agreement on shared semantics. Until October 2015, I was a prae-doc research assistant at the [https://www.wu.ac.at/ Vienna University of Economics and Business] being supervised by [https://ucris.univie.ac.at/portal/de/persons/gerhard-budin(ece64bdb-6052-4807-b8bd-e8bd0373fedc).html Prof. Gerhard Budin]. My original background is in linguistics and computer science. After working in industry for several years for companies such as Siemens, Roche Diagnostics, and Berlitz, I decided to return to academia.My research interests include: *[[Semantische Technologien |Semantic Web Technologies]]*[[Wissensrepräsentation und logisches Schließen/en |Knowledge Representation]]*Natural Language Processing (NLP) and Understandinganguage Processing (NLP) and Understanding)
Piotr Gorczyca + (I joined the [https://iccl.inf.tu-dresden. … I joined the [https://iccl.inf.tu-dresden.de/web/Computational_Logic Computational Logic] group in September 2022 as a research associate within the [https://iccl.inf.tu-dresden.de/web/KIMEDS/en KIMEDS] project and a PhD student.Prior to that, I completed my master's degree in Computational Logic at the TU Dresden where I simultaneously worked as a student assistant on topics related to answer set programming and assumption-based argumentation in the [https://iccl.inf.tu-dresden.de/web/Logische_Programmierung_und_Argumentation Logic Programming and Argumentation] group.ogic Programming and Argumentation] group.)
Stephan Mennicke + (I'm a postdoctoral researcher at the [[Wissensbasierte Systeme/en|Knowledge-based Systems]] … I'm a postdoctoral researcher at the [[Wissensbasierte Systeme/en|Knowledge-based Systems]] group led by Prof. Dr. [[Markus Krötzsch]]. I'm interested in knowledge representation, graph databases and their query languages, as well as process modeling and formal methods.I got my master's degree from [https://www.tu-braunschweig.de/ TU Braunschweig]. In March 2020, I successfully defended my PhD thesis on ''Non-Standard Semantics of Graph Query Languages''. I've worked on ''Theory of Programming Languages'' (together with Prof. Ursula Goltz and Prof. [https://www.mtv.tu-berlin.de/nestmann/ Uwe Nestmann]) and "Semantics of Graph Pattern Queries" (together with Prof. [http://www.ifis.cs.tu-bs.de/staff/balke Wolf-Tilo Balke]). Additionally, I contributed some formal methods for software product lines (SPLs).methods for software product lines (SPLs).)
Elisa Böhl + (I'm the new member in the NAVAS Project fr … 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]].Sarah Alice Gaggl]].)
Marcos Cramer + (In my research, I apply logic-based method … In my research, I apply logic-based methods from knowledge representation and reasoning to model actual human reasoning. The focus of my research is on combining methods from formal argumentation theory, natural language semantics, epistemic logic and philosophical logic to formally model the mathematical, philosophical and logical reasoning of humans.Apart from my research in knowledge representation and reasoning, I am also interested in the usage and linguistic study of [https://en.wikipedia.org/wiki/Gender-neutral_language gender-neutral language]. Together with other people interested in the topic I have developed a system for [http://geschlechtsneutral.net gender-neutral German].Furthermore, I actively use [https://en.wikipedia.org/wiki/Esperanto Esperanto] and do some work on the [https://www.esperantic.org/en/research/state-of-the-art/state-of-the-art-esperanto-linguistics-2 linguistic study of Esperanto].Preferred pronouns: he/him/his or [https://www.nytimes.com/2019/07/10/opinion/pronoun-they-gender.html they/them/their]. (In German er/sein/ihm/ihn or [http://geschlechtsneutral.net sel/serl/serl/sel].) <h1>Publications</h1><h3>Peer-reviewed articles</h3> [http://icr.uni.lu/mcramer/downloads/2019_SCF2.pdf SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability] Marcos Cramer and Leon van der Torre Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019). [http://icr.uni.lu/mcramer/downloads/2019_YSIP.pdf The Knowledge Base Paradigm Applied to Delegation Revocation] Marcos Cramer, Zohreh Baniasadi and Pieter Van Hertum Proceedings of the Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3 2019). [http://icr.uni.lu/mcramer/downloads/2019_JGPS.pdf A Structured Argumentation Framework for Modeling Debates in the Formal Sciences] Marcos Cramer & Jérémie Dauphin Journal for General Philosophy of Science, 2019. The original publication is available at [https://link.springer.com/article/10.1007/s10838-019-09443-z?wt_mc=Internal.Event.1.SEM.ArticleAuthorOnlineFirst&utm_source=ArticleAuthorOnlineFirst&utm_medium=email&utm_content=AA_en_06082018&ArticleAuthorOnlineFirst_20190608 link.springer.com]. [http://icr.uni.lu/mcramer/downloads/2019_JELIA.pdf Empirical Study on Human Evaluation of Complex Argumentation Frameworks] Marcos Cramer and Mathieu Guillaume Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2019. [http://icr.uni.lu/mcramer/downloads/2018_COMMA_empirical.pdf Empirical Cognitive Study on Abstract Argumentation Semantics] Marcos Cramer and Mathieu Guillaume Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018. [http://icr.uni.lu/mcramer/downloads/2018_Bridging.pdf Directionality of Attacks in Natural Language Argumentation] Marcos Cramer and Mathieu Guillaume Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning 2018. [http://icr.uni.lu/mcramer/downloads/2018_CLAR.pdf A dynamic approach for combining abstract argumentation semantics] Jérémie Dauphin, Marcos Cramer and Leendert van der Torre Proceedings of the Chinese Conference for Logic and Argumentation (CLAR) 2018. [http://icr.uni.lu/mcramer/downloads/TAFA.pdf ASPIC-END: Structured Argumentation with Explanations and Natural Deduction] Jérémie Dauphin and Marcos Cramer Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017. [http://icr.uni.lu/mcramer/downloads/TAFA_EEAF.pdf Extended Explanatory Argumentation Frameworks] Jérémie Dauphin and Marcos Cramer Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017. [http://icr.uni.lu/mcramer/downloads/Cramer_PhML-2012.pdf Implicit dynamic function introduction and Ackermann-like Function Theory] Marcos Cramer IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017. [http://icr.uni.lu/mcramer/downloads/FCS_dAEL.pdf A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions] Diego Agustín Ambrossio and Marcos Cramer Proceedings of the Workshop on the Foundations of Computer Security (FCS), 2017. [http://icr.uni.lu/mcramer/downloads/Revocation_postulates.pdf Postulates for Revocation Schemes] Marcos Cramer and Giovanni Casini Proceedings of the International Conference on Principles of Security and Trust (POST) 2017. Full version with proofs: [http://icr.uni.lu/mcramer/downloads/Revocation_postulates_tech_rep.pdf Postulates for Revocation Schemes – Technical Report] [http://icr.uni.lu/mcramer/downloads/IJCAI_2016.pdf Distributed Autoepistemic Logic and its Application to Access Control] Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2016. [http://icr.uni.lu/mcramer/downloads/CSF_2016.pdf Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete] Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville and Marc Denecker Proceedings of the Computer Security Foundations Symposium (CSF) 2016. [http://icr.uni.lu/mcramer/downloads/SACMAT.pdf A Logic of Trust for Reasoning about Delegation and Revocation] Marcos Cramer, Diego Agustín Ambrossio and Pieter Van Hertum Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015. [http://icr.uni.lu/mcramer/downloads/blacklist.pdf A Logical Approach to Restricting Access in Online Social Networks] Marcos Cramer, Jun Pang and Yang Zhang Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015. [http://icr.uni.lu/mcramer/downloads/SDV.pdf The Naproche system: Proof-checking mathematical texts in controlled natural language] Marcos Cramer SDV - International Journal for Language Data Processing, Vol. 31, 1-2, 2014. [http://icr.uni.lu/mcramer/downloads/NLCS.pdf Modelling implicit dynamic introduction of function symbols in mathematical texts] Marcos Cramer Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS) 2014. [http://icr.uni.lu/mcramer/downloads/Festschrift.pdf Modelling the usage of partial functions and undefined terms using presupposition theory] Marcos Cramer Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 2014. [http://icr.uni.lu/mcramer/downloads/MKM.pdf Parsing and Disambiguation of Symbolic Mathematics in the Naproche System] Marcos Cramer, Peter Koepke and Bernhard Schröder Proceedings of the Conference on Intelligent Computer Mathematics (CICM) 2011. [http://icr.uni.lu/mcramer/downloads/CNL.pdf Interpreting Plurals in the Naproche CNL] Marcos Cramer and Bernhard Schröder Proceedings of the Controlled Natural Language (CNL) Workshop 2010. The original publication is available at [http://www.springerlink.com www.springerlink.com]. [http://icr.uni.lu/mcramer/downloads/IJCAR.pdf Premise Selection in the Naproche System] Marcos Cramer, P. Koepke, D. Kühlwein, and B. Schröder Proceedings of the International Joint Conference on Automated Reasoning (IJCAR) 2010. The original publication is available at [http://www.springerlink.com www.springerlink.com]. [http://icr.uni.lu/mcramer/downloads/konvens10.pdf Presupposition Projection and Accommodation in Mathematical Texts] Marcos Cramer, Daniel Kühlwein and Bernhard Schröder Proceedings of the Conference on Natural Language Processing (KONVENS) 2010. [http://icr.uni.lu/mcramer/downloads/emergingsystems.pdf The Naproche System] Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder Proceedings of Calculemus 2009. [http://icr.uni.lu/mcramer/downloads/CNL-paper.pdf The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts] Marcos Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman Proceedings of the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at [http://www.springerlink.com www.springerlink.com]. <h3>Other publications</h3> [http://icr.uni.lu/mcramer/downloads/eblas_Ea_lingvoscienco.pdf Ĉu tamen eblas pri-Esperanta lingvoscienco? ... aŭ kiel difini kiuj estas la kompetentaj parolantoj kiuj determinas la lingvan regularon?] Paper for the Esperantologia Konferenco 2014. [http://icr.uni.lu/mcramer/downloads/doktor.pdf Proof-checking mathematical texts in controlled natural language] Phd thesis, University of Bonn, 2013. [http://icr.uni.lu/mcramer/downloads/PhML.pdf Implicit dynamic function introduction and its connections to the foundations of mathematics] Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012). [http://icr.uni.lu/mcramer/downloads/COCONAT.pdf Higher-Order Dynamic Predicate Logic] Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011. [http://icr.uni.lu/mcramer/downloads/KAEST.pdf Komputlingvoscienca kaj logika analizado de matematikaj tekstoj] Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010. [http://icr.uni.lu/mcramer/downloads/cramermaster.pdf Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen] Master thesis, 2009 exts in controlled natural language] Phd thesis, University of Bonn, 2013. [http://icr.uni.lu/mcramer/downloads/PhML.pdf Implicit dynamic function introduction and its connections to the foundations of mathematics] Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012). [http://icr.uni.lu/mcramer/downloads/COCONAT.pdf Higher-Order Dynamic Predicate Logic] Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011. [http://icr.uni.lu/mcramer/downloads/KAEST.pdf Komputlingvoscienca kaj logika analizado de matematikaj tekstoj] Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010. [http://icr.uni.lu/mcramer/downloads/cramermaster.pdf Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen] Master thesis, 2009 )
Kati Domann + (Ms Domann is a secretary for the research group [[Wissensbasierte Systeme|Knowledge-Based Systems]] and also responsible for the Zuse [[SECAI|School of Embedded Composite Artificial Intelligence]].)
Sandy Seifarth + (Ms Seifarth is a former secretary for the research group [[Wissensbasierte Systeme|Knowledge-Based Systems]]. She has also been administrative assistant for the research training group [[QuantLA|QuantLA]].)
Ana Ozaki + (My new webpage is https://sites.google.com … My new webpage is https://sites.google.com/site/anaozaki. Topics of interest : Temporal and Description Logics : Computational Learning TheoryAwardsE.M. Gold Award at ALT 2015Distinguished Paper at ISWC 2017ReviewingPC membership- 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)Journals- Journal of Computer and System Sciences- Journal of Machine Learning Researchystem Sciences - Journal of Machine Learning Research)
Sergei Obiedkov + (My research is in data analysis and artifi … My research is in data analysis and artificial intelligence, including logical and algorithmic aspects, especially those of formal concept analysis, a knowledge representation and data analysis framework based on lattice theory. I have a degree in theoretical and applied linguistics and a PhD in theoretical computer science. After completing my PhD, I worked as a postdoctoral researcher at TU Dresden; in Paris, where I held the Diderot fellowship from Maison des Sciences de l'Homme; and at the University of Pretoria. Prior to joining TU Dresden in June 2023, I held an Associate Professor of Computer Science position at HSE University in Moscow.ence position at HSE University in Moscow.)
Johannes K. Fichte + (My work interests in computational complex … My work interests in computational complexity theory and its applications. In particular I work on the understanding of the gap between intractability (strong theoretical evidence) and practical efficient solutions (industrial/structured setting). I consider the boolean satisfiability problem (SAT), answer-set programming (ASP), and related formalisms. I am happy to supervise theses of motivated students in topics related to my research area. If you have ideas or questions regarding possible topics, please contact me. You can also find details on the faculty web page [https://tu-dresden.de/ing/informatik/ki/krr/die-professur/staff/dr-johannes-k-fichte].informatik/ki/krr/die-professur/staff/dr-johannes-k-fichte].)
Francesco Kriegel + (Please visit [https://tu-dresden.de/ing/informatik/thi/lat/die-professur/beschaeftigte/francesco-kriegel my personal homepage] for further up-to-date information.)
Simon Razniewski + (Simon Razniewski is professor for knowledg … Simon Razniewski is professor for knowledge-based AI at ScaDS.AI and TU Dresden, where he develops novel methods for extracting and consolidating knowledge from and with language models and knowledge bases.He was previously a research scientist at the Bosch Center for AI (2023-2024), senior researcher at the Max Planck Institute for Informatics (2017-2021), where he was heading the Knowledge Base Construction and Quality area, and assistant professor at the Free University of Bozen Bolzano¹ (2014-2017). He holds a PhD from the Free University of Bozen-Bolzano (2014), and a Diplom (MSc.) from TU Dresden (2010; not this Dresden). He spent time as visitor at the Max-Planck Institute for Informatics (2016), the University of Queensland (2015), AT&T Labs-Research (2013), the University of California, San Diego (2012), and has previous industrial experience from Globalfoundries (2010) and Siemens IT (2009). He has published >20 papers at premier² conferences in the area of data science and management (and more than 60 papers in total).nd management (and more than 60 papers in total).)
Sebastian Rudolph + (Since April 2013, I have been full profess … Since April 2013, I have been full professor for [[Computational Logic/en|Computational Logic]] at the [https://tu-dresden.de/ing/informatik/ki?set_language=en Institute for Artificial Intelligence] at the [http://inf.tu-dresden.de/portal.php?node_id=1&ln=en&group=13 Faculty of Computer Science] of [http://tu-dresden.de/en Technische Universität Dresden], since 2021 affiliated member of the [https://tu-dresden.de/mn/math Faculty of Mathematics]. My research interests comprise Artificial Intelligence, in particular [[Wissensrepräsentation und logisches Schließen/en|Knowledge Representation and Reasoning]] using diverse formalisms (such as [[Beschreibungslogiken/en|Description Logics]], [[Existenzielle Regeln/en|Existential Rules]] and [[Formale Begriffsanalyse/en|Formal Concept Analysis]]) and their applications in diverse areas, for instance [[Semantische Technologien/en|Semantic Technologies]]. I deal with problems ranging from theoretical foundations (e.g., decidability and complexity of reasoning tasks) to practical deployment (ontology modeling, interactive knowledge acquisition). In 2017, I received an [[News34/en|ERC Consolidator Grant]] for investigating general principles of decidability in logic-based knowledge representation.Before returning to Dresden, I spend the years 2006 to 2013 as a postdoctoral researcher, project leader and later Privatdozent in [http://en.wikipedia.org/wiki/Rudi_Studer Rudi Studer]'s [http://www.aifb.kit.edu/web/Wissensmanagement/en Knowledge Management group] at the [http://www.aifb.kit.edu/web/Hauptseite/en Institute AIFB] of the [http://www.kit.edu/english/index.php Karlsruhe Institute of Technology], where I obtained my habilitation in 2011. Before I had completed my PhD in Algebra and my studies for highschool teaching in mathematics, physics and computer science at the [http://tu-dresden.de/en TU Dresden].ience at the [http://tu-dresden.de/en TU Dresden].)
Lucía Gómez Álvarez + (Since April 2020, I am a postdoctoral rese … Since April 2020, I am a postdoctoral research assistant at the Computational Logic Group at the Technische Universität Dresden. My research interests are in the area of Knowledge Representation and Reasoning. I am particularly (but not exclusively) interested in the representation of concepts and of semantically variable languages, and I look at theoretical issues (linguistic and philosophical), at representational frameworks (mostly logic-based) and at applications. Before joining the TU Dresden I was awarded the degree of PhD in Computer Science in February 2020 at the University of Leeds, where I was working under the supervision of Brandon Bennett. was working under the supervision of Brandon Bennett.)
Tobias Philipp + (Since December 2013, I am a research assis … Since December 2013, I am a research assistant in the knowledge representation and reasoning group at the Institute for Artificial Intelligence at the Faculty of Computer Science at the Technische Universität Dresden.My research interests comprise parallel SAT solving and verification of SAT solvers.T solving and verification of SAT solvers.)