Attribut:Info EN
Aus International Center for Computational Logic
Englische Eingabe zum Attribut.It has the datatype Text.
F
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.<br/><br/>
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.<br/>
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]. +
G
Since October 2020 I am the leader of the research group [[Logische_Programmierung_und_Argumentation | Logic Programming and Argumentation]] at the Institute of Artificial Intelligence, TU-Dresden.
Also since October 2020 I am the project leader of BMBF funded project [[NAVAS | '''NAVAS - Navigation Approaches for Answer Sets''']].
From 2019 till 2022 I was a principal investigator in the Transregional Collaborative Research Centre 248 [[CPEC |Center for Perspicuous Computing (CPEC)]] which aims at enabling comprehension in a cyber-physical world with the human in the loop.
From April 2013 till September 2020 I was a postdoctoral research assistant at the [[Computational_Logic |Computational Logic Group]] at the TU-Dresden.
My research interests are in (but not limmited to)
*[[Abstrakte Argumentation/en |Abstract Argumentation ]]
*[[Answer Set Programming/en |Answer Set Programming (ASP)]]
*[[Wissensrepräsentation und logisches Schließen/en |Knowledge Representation]]
Before joining the TU Dresden I received my PhD in Computer Science in 2013 at the Vienna University of Technology. From 2009 to 2012 I was working as a project research assistant in the [http://www.dbai.tuwien.ac.at/ Database and Artificial Intelligence Group] at the [http://www.wwtf.at/index.php?lang=EN WWTF] project [http://www.dbai.tuwien.ac.at/research/project/argumentation/ New Methods for Analyzing, Comparing, and Solving Argumentation Problems] under the supervision of [http://www.dbai.tuwien.ac.at/staff/woltran Stefan Woltran].
For further information have a look at my [[Media:cv_gaggl_work.pdf|CV]]. +
<br> +
'''Hi!'''
I'm Lukas and I'm a Research Associate / PhD student in the [[Knowledge-Based Systems]] group.
I mainly research [[Existenzielle Regeln/en|existential rules]], the chase algorithm and related topics.
During my studies, I specialized in database theory, logics and complexity theory.
Also, I have a passion for [https://lean-lang.org/ Lean]. +
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]. +
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. +
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 Understanding +
Since April 2020, I am a postdoctoral research assistant at the Computational Logic Group at the Technische Universität Dresden.
<br>
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.
<br>
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. +
H
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. +
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]] . +
since 2012 at Universitas Indonesia, Indonesia +
I
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. +
K
Since September 2020, I am a research assistant and doctoral student as part of the Computational Logic Group at the Institute of Artificial Intelligence. I work on logic-based knowledge representation, formal epistemology, and multi-agent systems. More specifically, I am working on the question of how to reasonably combine the beliefs of different agents under severe uncertainty. +
Since December 2022, I am a research assistant in the Computational Logic Group. I work within the BMFD-funded project [https://iccl.inf.tu-dresden.de/web/MEDGE/en M/EDGE]. +
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 CSPs
My supervisors are Prof. Dr. [[Manuel Bodirsky]] and Prof. Dr. [[Franz Baader]] +
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. +
Please visit [https://tu-dresden.de/ing/informatik/thi/lat/die-professur/beschaeftigte/francesco-kriegel my personal homepage] for further up-to-date information. +
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. +
L
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. +
M
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. +
