Attribut:Info EN

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Englische Eingabe zum Attribut.It has the datatype Text.

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
A
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) .  +
Since December 2015, I am a doctoral researcher in the [[Computational Logic/en|Computational Logic Group]] led by Prof. [[Miterarbeiter:: Sebastian Rudolph]] at [http://tu-dresden.de/ Technische Universität Dresden]. My research interests comprise: <ul> <li> Natural Language Processing </li> <li> Machine Learning </li> <li> Automata Theory </li> </ul>  +
B
== About Me == I am 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.  +
Since June 2019 Head of the Institute of Algebra. Since August 2014 Full Professor of Algebra und Discrete Structures.  +
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.  +
I'm the new member in the NAVAS Project from the group [[Logische Programmierung und Argumentation]] from [[Sarah Alice Gaggl]] <br> <br> 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]].  +
I'm the 3rd Thermal imaging  +
C
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.  +
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].  +
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.  +
I am currently working as a Post-Doctoral Researcher in the [[Forschungsgruppe::Knowledge Systems]] Group led by Dr. [[Miterarbeiter:: Markus Krötzsch]] at TU Dresden. My research interests mainly include: * Distributed computing * Large-scale data processing * Data management * Semantic web.  +
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: <i>he/him/his</i> or <i>[https://www.nytimes.com/2019/07/10/opinion/pronoun-they-gender.html they/them/their]</i>. (In German <i>er/sein/ihm/ihn</i> or <i>[http://geschlechtsneutral.net sel/serl/serl/sel]</i>.) <h1>Publications</h1> <h3>Peer-reviewed articles</h3> <p> [http://icr.uni.lu/mcramer/downloads/2019_SCF2.pdf SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability]<br /> Marcos Cramer and Leon van der Torre <br /> <i>Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019).</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/2019_YSIP.pdf The Knowledge Base Paradigm Applied to Delegation Revocation]<br /> Marcos Cramer, Zohreh Baniasadi and Pieter Van Hertum <br /> <i>Proceedings of the Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3 2019).</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/2019_JGPS.pdf A Structured Argumentation Framework for Modeling Debates in the Formal Sciences]<br /> Marcos Cramer & Jérémie Dauphin <br /> <i>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].</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/2019_JELIA.pdf Empirical Study on Human Evaluation of Complex Argumentation Frameworks]<br /> Marcos Cramer and Mathieu Guillaume <br /> <i>Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2019.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/2018_COMMA_empirical.pdf Empirical Cognitive Study on Abstract Argumentation Semantics]<br /> Marcos Cramer and Mathieu Guillaume <br /> <i>Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/2018_Bridging.pdf Directionality of Attacks in Natural Language Argumentation]<br /> Marcos Cramer and Mathieu Guillaume <br /> <i>Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning 2018.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/2018_CLAR.pdf A dynamic approach for combining abstract argumentation semantics]<br /> Jérémie Dauphin, Marcos Cramer and Leendert van der Torre <br /> <i>Proceedings of the Chinese Conference for Logic and Argumentation (CLAR) 2018.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/TAFA.pdf ASPIC-END: Structured Argumentation with Explanations and Natural Deduction]<br /> Jérémie Dauphin and Marcos Cramer <br /> <i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/TAFA_EEAF.pdf Extended Explanatory Argumentation Frameworks]<br /> Jérémie Dauphin and Marcos Cramer <br /> <i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/Cramer_PhML-2012.pdf Implicit dynamic function introduction and Ackermann-like Function Theory]<br /> Marcos Cramer <br /> <i>IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/FCS_dAEL.pdf A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions]<br /> Diego Agustín Ambrossio and Marcos Cramer <br /> <i>Proceedings of the Workshop on the Foundations of Computer Security (FCS), 2017.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/Revocation_postulates.pdf Postulates for Revocation Schemes]<br /> Marcos Cramer and Giovanni Casini <br /> <i>Proceedings of the International Conference on Principles of Security and Trust (POST) 2017.</i><br > Full version with proofs: [http://icr.uni.lu/mcramer/downloads/Revocation_postulates_tech_rep.pdf Postulates for Revocation Schemes – Technical Report] </p> <p> [http://icr.uni.lu/mcramer/downloads/IJCAI_2016.pdf Distributed Autoepistemic Logic and its Application to Access Control]<br /> Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker <br > <i>Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2016.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/CSF_2016.pdf Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete]<br /> Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville and Marc Denecker <br > <i>Proceedings of the Computer Security Foundations Symposium (CSF) 2016.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/SACMAT.pdf A Logic of Trust for Reasoning about Delegation and Revocation]<br /> Marcos Cramer, Diego Agustín Ambrossio and Pieter Van Hertum <br > <i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/blacklist.pdf A Logical Approach to Restricting Access in Online Social Networks]<br /> Marcos Cramer, Jun Pang and Yang Zhang <br > <i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/SDV.pdf The Naproche system: Proof-checking mathematical texts in controlled natural language]<br /> Marcos Cramer <br /> <i>SDV - International Journal for Language Data Processing, Vol. 31, 1-2, 2014.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/NLCS.pdf Modelling implicit dynamic introduction of function symbols in mathematical texts]<br /> Marcos Cramer <br /> <i>Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS) 2014.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/Festschrift.pdf Modelling the usage of partial functions and undefined terms using presupposition theory]<br /> Marcos Cramer <br /> <i>Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 2014.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/MKM.pdf Parsing and Disambiguation of Symbolic Mathematics in the Naproche System]<br /> Marcos Cramer, Peter Koepke and Bernhard Schröder <br /> <i>Proceedings of the Conference on Intelligent Computer Mathematics (CICM) 2011. </i> </p> <p> [http://icr.uni.lu/mcramer/downloads/CNL.pdf Interpreting Plurals in the Naproche CNL]<br /> Marcos Cramer and Bernhard Schröder <br /> Proceedings of the Controlled Natural Language (CNL) Workshop 2010.</i> The original publication is available at [http://www.springerlink.com www.springerlink.com]. </p> <p> [http://icr.uni.lu/mcramer/downloads/IJCAR.pdf Premise Selection in the Naproche System]<br /> Marcos Cramer, P. Koepke, D. Kühlwein, and B. Schröder <br /> <i>Proceedings of the International Joint Conference on Automated Reasoning (IJCAR) 2010.</i> The original publication is available at [http://www.springerlink.com www.springerlink.com]. </p> <p> [http://icr.uni.lu/mcramer/downloads/konvens10.pdf Presupposition Projection and Accommodation in Mathematical Texts]<br /> Marcos Cramer, Daniel Kühlwein and Bernhard Schröder <br /> <i>Proceedings of the Conference on Natural Language Processing (KONVENS) 2010. </i> </p> <p> [http://icr.uni.lu/mcramer/downloads/emergingsystems.pdf The Naproche System]<br /> Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder <br /> <i>Proceedings of Calculemus 2009.</i> </p> <p> [http://icr.uni.lu/mcramer/downloads/CNL-paper.pdf The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts]<br /> Marcos Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman <br /> Proceedings of the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at [http://www.springerlink.com www.springerlink.com]. </p> <h3>Other publications</h3> <p> [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?]<br /> Paper for the Esperantologia Konferenco 2014. </p> <p> <b>[http://icr.uni.lu/mcramer/downloads/doktor.pdf Proof-checking mathematical texts in controlled natural language]<br /> Phd thesis, University of Bonn, 2013. </b> </p> <p> [http://icr.uni.lu/mcramer/downloads/PhML.pdf Implicit dynamic function introduction and its connections to the foundations of mathematics]<br /> Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012). </p> <p> [http://icr.uni.lu/mcramer/downloads/COCONAT.pdf Higher-Order Dynamic Predicate Logic]<br /> Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011. </p> <p> [http://icr.uni.lu/mcramer/downloads/KAEST.pdf Komputlingvoscienca kaj logika analizado de matematikaj tekstoj]<br /> Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010. </p> <p> [http://icr.uni.lu/mcramer/downloads/cramermaster.pdf Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen]<br /> Master thesis, 2009 </p>  
D
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 also located at TU Dresden (first in the [https://iccl.inf.tu-dresden.de/web/Computational_Logic/en Computational Logic] group) and employed as a research assistant for [https://www.perspicuous-computing.science/ CPEC] since May 2019.   Before coming (back) to TU Dresden I was a research assistant at the [https://www.dbai.tuwien.ac.at/ DBAI] and [http://www.kr.tuwien.ac.at// KR] groups at TU Wien, Austria from 2014-2019 and part of the [https://www.dbai.tuwien.ac.at/research/argumentation/ formal argumentation] team(s) initiated by [https://www.dbai.tuwien.ac.at/staff/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].  +
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]].  +
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.  +
E
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.  +
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.  +
F
Since October 2017, I am a doctoral student in [[Computational Logic/en|Computational Logic Group]] led by [[Sebastian_Rudolph/en|Prof. Dr. Sebastian Rudolph]]. My research topic is about belief change and knowledge base revision. My study is supported by the Indonesia Endowment Fund for Education ([https://www.lpdp.kemenkeu.go.id/ LPDP scholarship]) from the Indonesia government and by the Federal Ministry of Education and Research, Germany (BMBF) in the Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)  +
Since October 2018 I am a research assistent and doctoral student at the Institute for Artificial Intelligence in the Computational Logic group. My work revolves around general model theoretic characteristics of decidable knowledge representations in the context of the ERC project "DeciGUT". My academic background is a Master of Science in mathematics with emphasise on algebra and model theory. Since December 2018 i am also associated doctoral student at the research training group "QuantLA".  +
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].  +