International Center for Computational Logic - Benutzerbeiträge [de]

Theoretische Informatik und Logik(SS2019)

2020-05-17T15:25:47Z

Marcos Cramer:

{{Vorlesung
|Title=Theoretische Informatik und Logik
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler
|Tutors=Emmanuelle Dietz; Marcos Cramer;
|Term=SS
|Year=2019
|Module=INF-B-290
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description== Neuigkeiten =


Aufgrund der derzeitigen Ausnahmesituation können wir zurzeit eine Einsichtnahme in die Nachholklausur vom 28.2.2020 nur für diejenigen Studierenden organisieren, die diese Nachholklausur nicht bestanden haben. Falls Sie die Nachholklausur nicht bestanden haben und eine Einsichtnahme erwünschen, melden Sie sich bitte bis spätestens 8. Juni 2020 bei marcos (punkt) cramer (at) tu-dresden.de. 


=Klausur=

Der Prüfungstermin ist Freitag, der 2.8.2019 um 9:20 Uhr in HSZ/AUDI/H. Die Klausur wird 90 Minuten dauern. Bitte bereits 15 Minuten vor Beginn (9:05 Uhr) anwesend sein.

* Für die Prüfung gelten folgende Regeln:
** Es sind keine Unterlagen und Hilfsmittel zugelassen.
** Aufgrund des technischen Fortschritts sind auch keine Uhren (wie Telefone) am Platz erlaubt.
** Alle müssen ordnungsgemäß für die Klausur angemeldet sein.

=Vorlesung=

Die Vorlesung findet montags in der 2.DS (HSZ/0004) und freitags in der 3.DS (HSZ/0004) statt.
* Teil 1: Die Slides für die Vorlesung sind [http://www.wv.inf.tu-dresden.de/materials/theolog/fol2019.pdf hier]. Der Benutzername ist ''student'' und das Passwort wird während der Vorlesung bekannt gegeben. Es ist das gleiche Passwort wie für das Material in der Formale Systeme Vorlesung WS2018.
* Teil 2: Die Slides für die Vorlesung sind [https://lat.inf.tu-dresden.de/teaching/ss2014/THEOLOG/ hier]. Der Benutzername und das Passwort wird während der Vorlesung bekannt gegeben.



== Übungen ==

* In den Übungen werden die untenstehenden Aufgaben und die Übungen auf den Vorlesungsslides besprochen besprochen.

* Die folgenden Übungen finden ab der Woche vom 8.4.2019 statt. In der ersten Übungswoche (8.4. - 12.4.) werden Übungen zur Aussagenlogik wiederholt.

* montags, 3.DS (APB/E001) (Marcos Cramer)
* dienstags, 4.DS (APB/E008) (Tobias John)
* mittwochs, 5.DS (APB/E010) (Marcos Cramer)
* freitags, 1.DS (APB/E010) (Tobias John)
* freitags, 2.DS (APB/E009) (Emmanuelle Dietz)
* freitags, 4.DS (APB/E001) (Emmanuelle Dietz)

== Aufgaben zur Prädikatenlogik ==

* Lösungen zu fast allen Übungsaufgaben, und weitere Übungsaufgaben finden sich in dem Buch
"S. Hölldobler et al.: Logik und Logikprogrammierung, Band II: Aufgaben und Lösungen, Synchron Publishers GmbH, 2011""

=== 4.1 Syntax ===
* Konstruktion von Teiltermen ([https://iccl.inf.tu-dresden.de/w/images/6/69/4.1_A_TeiltermeBachelors_task_A.pdf Aufgabenstellung]), 2. Übungswoche
* Über Nachbarn ([https://iccl.inf.tu-dresden.de/w/images/2/2e/4.1_B_Nachbarn_task_A.pdf Aufgabenstellung]), 2. Übungswoche

=== 4.2 Substitutionen ===
* Substitutionskomposition ist eine Substitution ([https://iccl.inf.tu-dresden.de/w/images/7/7b/4.2_A_KomposIsSubst_task_A.pdf Aufgabenstellung]), 3. Übungswoche
* Eigenschaften von Substitutionen ([https://iccl.inf.tu-dresden.de/w/images/b/bc/4.2_B_eigenschaften_task_A.pdf Aufgabenstellung]), 3. Übungswoche

=== 4.3 Semantik ===
* Beispiele zur Interpretationsanwendung ([https://iccl.inf.tu-dresden.de/w/images/b/b3/4.3_A_IntAuswertung_task_A.pdf Aufgabenstellung]), 4. Übungswoche
* Verschiedene Interpretationen einer Formel ([https://iccl.inf.tu-dresden.de/w/images/a/ad/4.3_B_IntBeispiele_task_A.pdf Aufgabenstellung]), 4. Übungswoche
* Existenz einer Herbrand-Interpretation ([https://iccl.inf.tu-dresden.de/w/images/3/3d/4.3_C_hiexist_task_A.pdf Aufgabenstellung]), 4. Übungswoche
 
* Knifflige Existenz ([https://iccl.inf.tu-dresden.de/w/images/1/1a/4.3_D_KniffligEX_task_A.pdf Aufgabenstellung]), 5. Übungswoche
* Falscher Satz für einelementige Domänen ([https://iccl.inf.tu-dresden.de/w/images/1/1e/4.3_E_a468_task_A.pdf Aufgabenstellung]), 5. Übungswoche
* Formel ohne endliche Modelle ([https://iccl.inf.tu-dresden.de/w/images/1/1a/4.3_F_a415_task_A.pdf Aufgabenstellung]), 5. Übungswoche

=== 4.4 Äquivalenz und Normalform ===
* Modellverlust beim Skolemisieren ([https://iccl.inf.tu-dresden.de/w/images/0/03/4.4_A_modellverlust_task_A.pdf Aufgabenstellung]), 6. Übungswoche
* Normalformen ([https://iccl.inf.tu-dresden.de/w/images/e/ef/4.4_B_normalformen_task_A.pdf Aufgabenstellung]), 6. Übungswoche

=== 4.5 Unifikation ===
* Unifikationsprobleme I ([https://iccl.inf.tu-dresden.de/w/images/a/a0/4.5_A_anwendung_task_A.pdf Aufgabenstellung]), 7. Übungswoche
* Unifikationsprobleme II ([https://iccl.inf.tu-dresden.de/w/images/6/6a/4.5_B_anwendung2_task_A.pdf Aufgabenstellung]), 7. Übungswoche
* Vergleichbarkeit von Unifikatoren ([https://iccl.inf.tu-dresden.de/w/images/6/66/4.5_C_vergleichbarkeit_task_A.pdf Aufgabenstellung]), 7. Übungswoche
* Zur Terminierung des Unifikationsalgorithmus ([https://iccl.inf.tu-dresden.de/w/images/b/b7/4.5_D_UnifTermin_task_A.pdf Aufgabenstellung]), 7. Übungswoche

=== 4.6 Beweisverfahren ===
* Resolutionsverfahren ([https://iccl.inf.tu-dresden.de/w/images/a/ae/4.6_A_Res1ordBeisp_task_A.pdf Aufgabenstellung]), 8. Übungswoche
* Schrittweiser Resolutionsbeweis ([https://iccl.inf.tu-dresden.de/w/images/5/5b/4.6_B_Res1ordKlausurBeweis_task_A.pdf Aufgabenstellung]), 8. Übungswoche
* Notwendigkeit der Faktorisierung ([https://iccl.inf.tu-dresden.de/w/images/9/93/4.6_C_Res1ordFactoris_task_A.pdf Aufgabenstellung]), 8. Übungswoche



== Aufgaben zur Theoretischen Informatik ==

=== I. Berechenbarkeit ===

* 1. Turingmaschinen ([https://iccl.inf.tu-dresden.de/w/images/1/19/Uebung1.pdf Aufgabenstellung]), 9. Übungswoche

* 2. Rekursive Funktionen und Post'sches Korrespondenzproblem ([https://iccl.inf.tu-dresden.de/w/images/a/ae/Uebung2.pdf Aufgabenstellung]), 10. Übungswoche

* 3. LOOP- und WHILE Programme ([https://iccl.inf.tu-dresden.de/w/images/e/e4/Uebung10.pdf Aufgabenstellung]), 11.Übungswoche (aktualisiert am 3.7.2019)

=== II. Komplexität ===

* 4. Komplexitätsklasse NP ([https://iccl.inf.tu-dresden.de/w/images/d/da/Uebung12.pdf Aufgabenstellung]) 12. Übungswoche


}}

Theoretische Informatik und Logik(SS2019)

2020-05-17T15:25:04Z

Marcos Cramer:

{{Vorlesung
|Title=Theoretische Informatik und Logik
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler
|Tutors=Emmanuelle Dietz; Marcos Cramer;
|Term=SS
|Year=2019
|Module=INF-B-290
|SWSLecture=4
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description== Neuigkeiten =


Aufgrund der derzeitigen Ausnahmesituation können wir zurzeit eine Einsichtnahme in die Nachholklausur vom 28.2.2020 nurfür diejenigen Studierenden organisieren, die diese Nachholklausur nicht bestanden haben. Falls Sie die Nachholklausur nicht bestanden haben und eine Einsichtnahme erwünschen, melden Sie sich bitte bis spätestens 8. Juni 2020 bei marcos (punkt) cramer (at) tu-dresden.de. 


=Klausur=

Der Prüfungstermin ist Freitag, der 2.8.2019 um 9:20 Uhr in HSZ/AUDI/H. Die Klausur wird 90 Minuten dauern. Bitte bereits 15 Minuten vor Beginn (9:05 Uhr) anwesend sein.

* Für die Prüfung gelten folgende Regeln:
** Es sind keine Unterlagen und Hilfsmittel zugelassen.
** Aufgrund des technischen Fortschritts sind auch keine Uhren (wie Telefone) am Platz erlaubt.
** Alle müssen ordnungsgemäß für die Klausur angemeldet sein.

=Vorlesung=

Die Vorlesung findet montags in der 2.DS (HSZ/0004) und freitags in der 3.DS (HSZ/0004) statt.
* Teil 1: Die Slides für die Vorlesung sind [http://www.wv.inf.tu-dresden.de/materials/theolog/fol2019.pdf hier]. Der Benutzername ist ''student'' und das Passwort wird während der Vorlesung bekannt gegeben. Es ist das gleiche Passwort wie für das Material in der Formale Systeme Vorlesung WS2018.
* Teil 2: Die Slides für die Vorlesung sind [https://lat.inf.tu-dresden.de/teaching/ss2014/THEOLOG/ hier]. Der Benutzername und das Passwort wird während der Vorlesung bekannt gegeben.



== Übungen ==

* In den Übungen werden die untenstehenden Aufgaben und die Übungen auf den Vorlesungsslides besprochen besprochen.

* Die folgenden Übungen finden ab der Woche vom 8.4.2019 statt. In der ersten Übungswoche (8.4. - 12.4.) werden Übungen zur Aussagenlogik wiederholt.

* montags, 3.DS (APB/E001) (Marcos Cramer)
* dienstags, 4.DS (APB/E008) (Tobias John)
* mittwochs, 5.DS (APB/E010) (Marcos Cramer)
* freitags, 1.DS (APB/E010) (Tobias John)
* freitags, 2.DS (APB/E009) (Emmanuelle Dietz)
* freitags, 4.DS (APB/E001) (Emmanuelle Dietz)

== Aufgaben zur Prädikatenlogik ==

* Lösungen zu fast allen Übungsaufgaben, und weitere Übungsaufgaben finden sich in dem Buch
"S. Hölldobler et al.: Logik und Logikprogrammierung, Band II: Aufgaben und Lösungen, Synchron Publishers GmbH, 2011""

=== 4.1 Syntax ===
* Konstruktion von Teiltermen ([https://iccl.inf.tu-dresden.de/w/images/6/69/4.1_A_TeiltermeBachelors_task_A.pdf Aufgabenstellung]), 2. Übungswoche
* Über Nachbarn ([https://iccl.inf.tu-dresden.de/w/images/2/2e/4.1_B_Nachbarn_task_A.pdf Aufgabenstellung]), 2. Übungswoche

=== 4.2 Substitutionen ===
* Substitutionskomposition ist eine Substitution ([https://iccl.inf.tu-dresden.de/w/images/7/7b/4.2_A_KomposIsSubst_task_A.pdf Aufgabenstellung]), 3. Übungswoche
* Eigenschaften von Substitutionen ([https://iccl.inf.tu-dresden.de/w/images/b/bc/4.2_B_eigenschaften_task_A.pdf Aufgabenstellung]), 3. Übungswoche

=== 4.3 Semantik ===
* Beispiele zur Interpretationsanwendung ([https://iccl.inf.tu-dresden.de/w/images/b/b3/4.3_A_IntAuswertung_task_A.pdf Aufgabenstellung]), 4. Übungswoche
* Verschiedene Interpretationen einer Formel ([https://iccl.inf.tu-dresden.de/w/images/a/ad/4.3_B_IntBeispiele_task_A.pdf Aufgabenstellung]), 4. Übungswoche
* Existenz einer Herbrand-Interpretation ([https://iccl.inf.tu-dresden.de/w/images/3/3d/4.3_C_hiexist_task_A.pdf Aufgabenstellung]), 4. Übungswoche
 
* Knifflige Existenz ([https://iccl.inf.tu-dresden.de/w/images/1/1a/4.3_D_KniffligEX_task_A.pdf Aufgabenstellung]), 5. Übungswoche
* Falscher Satz für einelementige Domänen ([https://iccl.inf.tu-dresden.de/w/images/1/1e/4.3_E_a468_task_A.pdf Aufgabenstellung]), 5. Übungswoche
* Formel ohne endliche Modelle ([https://iccl.inf.tu-dresden.de/w/images/1/1a/4.3_F_a415_task_A.pdf Aufgabenstellung]), 5. Übungswoche

=== 4.4 Äquivalenz und Normalform ===
* Modellverlust beim Skolemisieren ([https://iccl.inf.tu-dresden.de/w/images/0/03/4.4_A_modellverlust_task_A.pdf Aufgabenstellung]), 6. Übungswoche
* Normalformen ([https://iccl.inf.tu-dresden.de/w/images/e/ef/4.4_B_normalformen_task_A.pdf Aufgabenstellung]), 6. Übungswoche

=== 4.5 Unifikation ===
* Unifikationsprobleme I ([https://iccl.inf.tu-dresden.de/w/images/a/a0/4.5_A_anwendung_task_A.pdf Aufgabenstellung]), 7. Übungswoche
* Unifikationsprobleme II ([https://iccl.inf.tu-dresden.de/w/images/6/6a/4.5_B_anwendung2_task_A.pdf Aufgabenstellung]), 7. Übungswoche
* Vergleichbarkeit von Unifikatoren ([https://iccl.inf.tu-dresden.de/w/images/6/66/4.5_C_vergleichbarkeit_task_A.pdf Aufgabenstellung]), 7. Übungswoche
* Zur Terminierung des Unifikationsalgorithmus ([https://iccl.inf.tu-dresden.de/w/images/b/b7/4.5_D_UnifTermin_task_A.pdf Aufgabenstellung]), 7. Übungswoche

=== 4.6 Beweisverfahren ===
* Resolutionsverfahren ([https://iccl.inf.tu-dresden.de/w/images/a/ae/4.6_A_Res1ordBeisp_task_A.pdf Aufgabenstellung]), 8. Übungswoche
* Schrittweiser Resolutionsbeweis ([https://iccl.inf.tu-dresden.de/w/images/5/5b/4.6_B_Res1ordKlausurBeweis_task_A.pdf Aufgabenstellung]), 8. Übungswoche
* Notwendigkeit der Faktorisierung ([https://iccl.inf.tu-dresden.de/w/images/9/93/4.6_C_Res1ordFactoris_task_A.pdf Aufgabenstellung]), 8. Übungswoche



== Aufgaben zur Theoretischen Informatik ==

=== I. Berechenbarkeit ===

* 1. Turingmaschinen ([https://iccl.inf.tu-dresden.de/w/images/1/19/Uebung1.pdf Aufgabenstellung]), 9. Übungswoche

* 2. Rekursive Funktionen und Post'sches Korrespondenzproblem ([https://iccl.inf.tu-dresden.de/w/images/a/ae/Uebung2.pdf Aufgabenstellung]), 10. Übungswoche

* 3. LOOP- und WHILE Programme ([https://iccl.inf.tu-dresden.de/w/images/e/e4/Uebung10.pdf Aufgabenstellung]), 11.Übungswoche (aktualisiert am 3.7.2019)

=== II. Komplexität ===

* 4. Komplexitätsklasse NP ([https://iccl.inf.tu-dresden.de/w/images/d/da/Uebung12.pdf Aufgabenstellung]) 12. Übungswoche


}}

Human Reasoning and Computational Logic (WS2019)

2020-04-17T16:59:46Z

Marcos Cramer:

{{Vorlesung
|Title=Human Reasoning and Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler; Emmanuelle Dietz
|Term=WS
|Year=2019
|Module=INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI, INF-E-3, MCL-AI
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=
The slides are updated (31.1.2020).


In the lecture ''Human Reasoning and Computational Logic'' we present a new cognitive theory — the weak completion semantics — for selected human reasoning tasks. The weak completion semantics is based on logic programs, the three-valued Łukasiewicz logic, an appropriate fixed point operator, abduction and revision. It can be mapped onto an artificial neural network based on the core method. The networks can be trained by (deep) learning.

The language of instruction is English. If, however, only German speaking students are in the lecture hall, then the language of instruction is German. The slides will be in English. The literature is usually in English.

Contents

1. Logic Programs

2. Three-valued Łukasiewicz Logic

3. Abduction and Revision

4. Relation to Stable Model Semantics and Well-Founded Semantics

5. Selected Human Reasoning Tasks: Suppression Task, Selection Task, Syllogisms, Belief Bias, Spatial Reasoning, Reasoning about Conditionals

6. Artificial Neural Networks

7. The Core Method

8. Learning

===Schedule ===

* the lecture and the tutorial will take place in room E05
* the lectures will take place on Wednesday, 4.DS (13:00 - 14:30) starting on 16.10.2019
* the tutorials will take place on Wednesday, 5.DS (14:50 - 16:20) starting on 23.10.2019

===Lecture Slides===

The lecture slides can be found [https://iccl.inf.tu-dresden.de/w/images/c/c4/Basictheory-pw.pdf here] and [https://iccl.inf.tu-dresden.de/w/images/6/65/Applications2019-pw.pdfhere]. The manuscript can be found [https://iccl.inf.tu-dresden.de/w/images/c/c7/Main_pw.pdfhere].

Most of the proofs discussed in the exercises can be found here:
* [http://www.wv.inf.tu-dresden.de/Publications/Prediploma/bachelor_tobias.pdf Human Reasoning and Abduction by Tobias Philipp (Bachelor thesis)]
* [https://iccl.inf.tu-dresden.de/w/images/1/13/Master_ramli.pdf Logic Programs and Three-Valued Consequence Operators by Carroline Dewi Puspa Kencana Ramli (Master thesis)]


===Exercises===

Old exercises can be found [https://iccl.inf.tu-dresden.de/web/Human_Reasoning_and_Computational_Logic_(WS2017) here].

* In the tutorials, we will discuss exercises that are written on the lecture slides or here:
** [https://iccl.inf.tu-dresden.de/w/images/2/27/Ex1-2019.pdf about the tp operator]
** [https://iccl.inf.tu-dresden.de/w/images/4/46/Ex2-2019.pdf about some properties of WCS]
** [https://iccl.inf.tu-dresden.de/w/images/d/da/Ex3-2019.pdf Abduction in WCS]

* Syllogistic Reasoning Challenge
** [https://iccl.inf.tu-dresden.de/w/images/6/66/DatenanalyseYourPredictions.ods template for your predictions]



===Software===

To compute the least fixed point of the SvL operator, you can use the following tools:
* http://olb.computational-logic.org/processing/svl.php
* [https://iccl.inf.tu-dresden.de/w/images/f/f2/Svloperator.zip SvL Operator with graphical user interface] (edit the environment path of your computer to run swipl from command line)
* [https://iccl.inf.tu-dresden.de/w/images/8/86/Svl_prolog.zip Prolog files]

===Book draft===
[https://iccl.inf.tu-dresden.de/w/images/e/e3/WCS_book_draft.pdf Here] you can find a draft of the book that Steffen Hölldobler is writing about the topic of this course (the password for this PDF file is provided to participants of the course).



|Literature=The first part of the lecture is based on the following books:

S. Hölldober. Logik und Logikprogrammierung, volume 1: Grundlagen. Synchron Publishers GmbH, Heidelberg, 2009.

J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag New York, Inc., New York, NY, USA, 1984.

S. Hölldober. [http://ceur-ws.org/Vol-1412/2o.pdf Weak Completion Semantics and its Applications in Human Reasoning]. In Claudia Schon Ulrich Furbach, editor, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), pages 2–16. CEUR-WS.org, 2015.


Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda, [http://ac.els-cdn.com/S1570868304000151/1-s2.0-S1570868304000151-main.pdf?_tid=831124dc-596a-11e6-8bed-00000aacb360&acdnat=1470222648_83181aeb393190f89debbedd17c17ed4 Logic programs and connectionist networks]. Journal of Applied Logic, Volume 2, Issue 3, 2004, Pages 245-272
}}

Datei:WCS book draft.pdf

2020-04-17T16:57:25Z

Marcos Cramer:

Wissensverarbeitung

2020-03-13T19:03:36Z

Marcos Cramer:

{{Forschungsgruppe
|Name EN=Knowledge Representation and Reasoning
|Kurzname=KRR
|Beschreibung DE=Die Professur Wissensverarbeitung untergliedert sich gegenwärtig in zwei Schwerpunkte: menschliches Schließen in Logikprogramme abzubilden, und das Erfüllbarkeitsproblem und damit verwandte Probleme maschinell zu lösen. Auf beiden Gebieten wird sowohl aktiv geforscht, als auch Lehre mit aktuellsten Inhalten gehalten.

Wir sind aktuell nur per E-Mail erreichbar. Persönliche Termine sind derzeit leider nicht möglich. Steffen Hölldobler ist für Notfälle unter 0151 27023623 erreichbar.
|Beschreibung EN=The Knowledge Representation and Reasoning group has two major parts: human reasoning and solving the satisfiability testing and related decision and discrete optimization problems. In both areas we focus on research, and on the other hand teach with most recent research results.

Currently, we have no access to university phones. Please contact us via E-Mail. Offices are closed from public access. For urgent matters, you can contact Steffen Hölldobler at 0151 27023623.
|Forschungsgruppenleiter=Steffen Hölldobler
|Bild=Kiwv-group-picture.jpg
|Ehemalige Forschungsgruppe=0
}}

Science of Computational Logic (WS2019)

2020-02-21T17:24:00Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2019) Logic]. It starts on Thurday, 5 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lectures (room APB/E05)
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
* Exercises
** Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 18/20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 8/10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 14/17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 21/24: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems. (Some material has been removed from the lecture course, so Exercise sheet 4 was skipped. )
* January 28: [https://iccl.inf.tu-dresden.de/w/images/e/e6/Sheet-6.pdf Exercise sheet 6].
* January 31: [https://iccl.inf.tu-dresden.de/w/images/e/e7/Sheet-7.pdf Exercise sheet 7], all three problems.
* February 5/7: [https://iccl.inf.tu-dresden.de/w/images/0/0e/Sheet-8.pdf Exercise sheet 8], both problems.

===Model solutions===
* [https://iccl.inf.tu-dresden.de/w/images/1/1f/Sheet-1-sol.pdf Model solution to exercise sheet 1]
* [https://iccl.inf.tu-dresden.de/w/images/d/dc/Sheet-2-sol.pdf Model solution to exercise sheet 2]
* [https://iccl.inf.tu-dresden.de/w/images/2/26/Sheet-3-sol.pdf Model solution to exercise sheet 3]
* [https://iccl.inf.tu-dresden.de/w/images/9/96/Sheet-5-sol.pdf Model solution to exercise sheet 5]
* [https://iccl.inf.tu-dresden.de/w/images/5/5f/Sheet-6-sol.pdf Model solution to exercise sheet 6]
* [https://iccl.inf.tu-dresden.de/w/images/e/e3/Sheet-7-sol.pdf Model solution to exercise sheet 7]
* [https://iccl.inf.tu-dresden.de/w/images/b/bf/Sheet-8-sol.pdf Model solution to exercise sheet 8]
}}

Datei:Sheet-8-sol.pdf

2020-02-21T17:23:17Z

Marcos Cramer:

Marcos Cramer

2020-02-10T19:06:59Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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

|Info EN=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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Marcos Cramer

2020-02-08T18:27:43Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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 they/them/their. (In German er/sein/ihm/ihn or 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

|Info EN=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 they/them/their. (In German er/sein/ihm/ihn or 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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Marcos Cramer

2020-02-07T16:01:38Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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].

<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

|Info EN=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].

<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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Marcos Cramer

2020-02-06T10:58:40Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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 [http://geschlechtsneutral.net gender-neutral language] as well as in the usage and linguistic study of [https://www.esperantic.org/en/research/state-of-the-art/state-of-the-art-esperanto-linguistics-2 Esperanto].

<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

|Info EN=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] as well as in the usage and linguistic study of [https://www.esperantic.org/en/research/state-of-the-art/state-of-the-art-esperanto-linguistics-2 Esperanto].

<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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Marcos Cramer

2020-02-06T10:57:13Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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 <a href="geschlechtsneutral.net">gender-neutral language</a> as well as in the usage and linguistic study of <a href = "https://www.esperantic.org/en/research/state-of-the-art/state-of-the-art-esperanto-linguistics-2/">Esperanto</a>.

<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

|Info EN=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 <a href="https://en.wikipedia.org/wiki/Gender-neutral_language">gender-neutral language</a> as well as in the usage and linguistic study of <a href = "https://www.esperantic.org/en/research/state-of-the-art/state-of-the-art-esperanto-linguistics-2/">Esperanto</a>.

<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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Science of Computational Logic (WS2019)

2020-02-04T09:08:28Z

Marcos Cramer:

Datei:Sheet-7-sol.pdf

2020-02-04T09:07:07Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2020-01-29T14:42:48Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2019) Logic]. It starts on Thurday, 5 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lectures (room APB/E05)
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
* Exercises
** Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 18/20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 8/10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 14/17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 21/24: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems. (Some material has been removed from the lecture course, so Exercise sheet 4 was skipped. )
* January 28: [https://iccl.inf.tu-dresden.de/w/images/e/e6/Sheet-6.pdf Exercise sheet 6].
* January 31: [https://iccl.inf.tu-dresden.de/w/images/e/e7/Sheet-7.pdf Exercise sheet 7], all three problems.

===Model solutions===
* [https://iccl.inf.tu-dresden.de/w/images/1/1f/Sheet-1-sol.pdf Model solution to exercise sheet 1]
* [https://iccl.inf.tu-dresden.de/w/images/d/dc/Sheet-2-sol.pdf Model solution to exercise sheet 2]
* [https://iccl.inf.tu-dresden.de/w/images/2/26/Sheet-3-sol.pdf Model solution to exercise sheet 3]
* [https://iccl.inf.tu-dresden.de/w/images/9/96/Sheet-5-sol.pdf Model solution to exercise sheet 5]
* [https://iccl.inf.tu-dresden.de/w/images/5/5f/Sheet-6-sol.pdf Model solution to exercise sheet 6]
}}

Datei:Sheet-5-sol.pdf

2020-01-29T14:41:51Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-5-sol.pdf hoch

Datei:Sheet-6-sol.pdf

2020-01-29T14:41:31Z

Marcos Cramer:

Datei:Sheet-7.pdf

2020-01-29T13:00:32Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-7.pdf hoch

Science of Computational Logic (WS2019)

2020-01-28T20:54:52Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2019) Logic]. It starts on Thurday, 5 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lectures (room APB/E05)
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
* Exercises
** Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 18/20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 8/10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 14/17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 21/24: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems. (Some material has been removed from the lecture course, so Exercise sheet 4 was skipped. )
* January 28: [https://iccl.inf.tu-dresden.de/w/images/e/e6/Sheet-6.pdf Exercise sheet 6].
* January 31: [https://iccl.inf.tu-dresden.de/w/images/e/e7/Sheet-7.pdf Exercise sheet 7], all three problems.

===Model solutions===
* [https://iccl.inf.tu-dresden.de/w/images/1/1f/Sheet-1-sol.pdf Model solution to exercise sheet 1]
* [https://iccl.inf.tu-dresden.de/w/images/d/dc/Sheet-2-sol.pdf Model solution to exercise sheet 2]
* [https://iccl.inf.tu-dresden.de/w/images/2/26/Sheet-3-sol.pdf Model solution to exercise sheet 3]
}}

Datei:Sheet-7.pdf

2020-01-28T20:53:21Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-7.pdf hoch

Datei:Sheet-7.pdf

2020-01-28T20:51:43Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-7.pdf hoch

Science of Computational Logic (WS2019)

2020-01-24T22:13:31Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2019) Logic]. It starts on Thurday, 5 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lectures (room APB/E05)
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
* Exercises
** Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 18/20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 8/10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 14/17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 21/24: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems. (The order of the lectures has changed compared to previous years, so we do Sheet 5 and Sheet 6 before Sheet 4. )
* January 28: [https://iccl.inf.tu-dresden.de/w/images/e/e6/Sheet-6.pdf Exercise sheet 6].

===Model solutions===
* [https://iccl.inf.tu-dresden.de/w/images/1/1f/Sheet-1-sol.pdf Model solution to exercise sheet 1]
* [https://iccl.inf.tu-dresden.de/w/images/d/dc/Sheet-2-sol.pdf Model solution to exercise sheet 2]
* [https://iccl.inf.tu-dresden.de/w/images/2/26/Sheet-3-sol.pdf Model solution to exercise sheet 3]
}}

Datei:Sheet-6.pdf

2020-01-24T22:11:46Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-6.pdf hoch

Science of Computational Logic (WS2019)

2020-01-20T20:36:30Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2019) Logic]. It starts on Thurday, 5 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lectures (room APB/E05)
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
* Exercises
** Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 18/20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 8/10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 14/17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 21/24: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems. (The order of the lectures has changed compared to previous years, so we do Sheet 5 before Sheet 4. Originally I posted Sheet 4 here; sorry for the confusion!)

===Model solutions===
* [https://iccl.inf.tu-dresden.de/w/images/1/1f/Sheet-1-sol.pdf Model solution to exercise sheet 1]
* [https://iccl.inf.tu-dresden.de/w/images/d/dc/Sheet-2-sol.pdf Model solution to exercise sheet 2]
* [https://iccl.inf.tu-dresden.de/w/images/2/26/Sheet-3-sol.pdf Model solution to exercise sheet 3]
}}

Science of Computational Logic (WS2019)

2020-01-17T18:06:26Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2019) Logic]. It starts on Thurday, 5 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lectures (room APB/E05)
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
* Exercises
** Tuesday 2. DS (9:20am, room APB/2026) and Friday 4. DS (1:00pm, room APB/E05)

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 18/20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 8/10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 14/17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 21/24: [https://iccl.inf.tu-dresden.de/w/images/5/5f/Sheet-4.pdf Exercise sheet 4], all three problems

===Model solutions===
* [https://iccl.inf.tu-dresden.de/w/images/1/1f/Sheet-1-sol.pdf Model solution to exercise sheet 1]
* [https://iccl.inf.tu-dresden.de/w/images/d/dc/Sheet-2-sol.pdf Model solution to exercise sheet 2]
* [https://iccl.inf.tu-dresden.de/w/images/2/26/Sheet-3-sol.pdf Model solution to exercise sheet 3]
}}

Datei:Sheet-3-sol.pdf

2020-01-17T18:05:58Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-3-sol.pdf hoch

Datei:Sheet-2-sol.pdf

2020-01-17T17:43:21Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-2-sol.pdf hoch

Science of Computational Logic (WS2019)

2020-01-13T17:46:41Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2020-01-13T17:45:20Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2020-01-13T09:16:34Z

Marcos Cramer:

Stellenausschreibung15

2019-12-23T19:20:51Z

Marcos Cramer:

{{Stellenausschreibung
|Title DE=Wissensch. Mitarbeiter/in / Doktorand/in / Postdoc an der Professur für Wissensverarbeitung
|Title EN=Research Associate / PhD Student / Postdoc at the chair of Knowledge Representation and Reasoning
|Beschreibung DE=Am '''Institut für Künstliche Intelligenz''' ist an der [[Wissensverarbeitung|'''Professur für Wissensverarbeitung''']] zum '''01.02.2020''' eine Stelle als

'''wiss. Mitarbeiter/in / Doktorand/in / Postdoc'''

(bei Vorliegen der persönlichen Voraussetzungen E 13 TV-L)

für die Dauer von 36 Monaten (Beschäftigungsdauer gem. WissZeitVG) mit dem Ziel der eigenen wiss. Weiterqualifikation (i. d. R. Promotion oder Habilitation) zu besetzen.

'''Aufgaben:''' wiss. Forschung vorzugsweise im Gebiet des Lösens von Erfüllbarkeitsproblemen (SAT) oder der Modellierung menschlichen Schließens mittels Verfahren der Logikprogrammierung und der logik-basierten Wissensverarbeitung; Durchführung von Lehrveranstaltungen, insb. von Übungen und Seminaren; Betreuung von Studierenden; Erstellung von Klausuraufgaben; Kontrolle von Klausuren und Mitwirkung bei der Abnahme von mündlichen Prüfungen im Gebiet der Wissensverarbeitung unter der fachlichen Verantwortung des Inhabers der Professur; Mitarbeit bei der akademischen Selbstverwaltung inklusive der Durchführung wiss. Veranstaltungen sowie der Einwerbung von Drittmitteln.

'''Voraussetzungen:''' wiss. HSA der Fachrichtung Informatik (oder angrenzenden Disziplinen); strukturierte Arbeitsweise und die Fähigkeit, Projekte selbstständig voranzubringen und mit allen Beteiligten zu kommunizieren; ausgezeichnetes schriftliches und mündliches Ausdrucksvermögen in deutscher und englischer Sprache.
Frauen sind ausdrücklich zur Bewerbung aufgefordert. Selbiges gilt auch für Menschen mit Behinderungen.

Ihre aussagefähige Bewerbung senden Sie bitte mit den üblichen Unterlagen bis zum '''10.01.2020''' (es gilt der Poststempel der ZPS der TU Dresden) bevorzugt über das SecureMail Portal der TU Dresden https://securemail.tu-dresden.de als ein PDF-Dokument an sh@iccl.tu-dresden.de (Achtung: z. Zt. Kein Zugang für elektronisch signierte sowie verschlüsselte elektronische Dokumente) oder an: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler, Helmholtzstr. 10, 01069 Dresden.''' Ihre Bewerbungsunterlagen werden nicht zurückgesandt, bitte reichen Sie nur Kopien ein. Vorstellungskosten werden nicht übernommen.

'''Hinweis zum Datenschutz:''' Welche Rechte Sie haben und zu welchem Zweck Ihre Daten verarbeitet werden sowie weitere Informationen zum Datenschutz haben wir auf der Webseite https://tu-dresden.de/karriere/datenschutzhinweis für Sie zur Verfügung gestellt.
|Beschreibung EN=At the '''Institute of Artificial Intelligence''' the [[Wissensverarbeitung/en|'''Chair of Knowledge Representation and Reasoning''']] offers a position as

'''Research Associate / PhD Student / Postdoc '''

(Subject to personal qualification employees are remunerated according to salary group E13 TV-L)

starting on '''01.02.2020'''. The position is limited for 36 months. The period of employment is governed by Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz-WissZeitVG). The position aims at obtaining further academic qualification (e.g. PhD / habilitation thesis).

'''Tasks:''' scientific research preferably in either the area of satisfiability (SAT) testing or in the area of modelling human reasoning tasks by appropriate logics; organisation of lectures, especially of excercises and seminars; supervision of students; organisation of examinations under the responsibility of the Chair of Knowledge Representation and Reasoning; participation in administrative processes including organisation of scientific events; support in applications for third-party funding.

'''Requirements:''' university degree in computer science (or related disciplines); the ability to communicate and to develop projects in a structured way; good command of the German and the English language.
Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application including the usual documents by '''10.01.2020''' (stamped arrival date of the university central mail service applies) preferably as a single pdf-document to sh@iccl.tu-dresden.de (Please note: We are currently not able to receive electronically signed and encrypted data.) or by mail to: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler, Helmholtzstr. 10, 01069 Dresden.''' Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.

'''Reference to data protection:''' Your data protection rights, the purpose for which your data will be processed, as well as further information about data protection is available to you on the website: https: //tu-dresden.de/karriere/datenschutzhinweis 
|Stellenart=Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
|Forschungsgruppe=Wissensverarbeitung
|Ausschreibender=Steffen Hölldobler
|Bewerbungsfrist=2020/01/10
}}

Stellenausschreibung15

2019-12-23T19:19:04Z

Marcos Cramer:

{{Stellenausschreibung
|Title DE=Wissensch. Mitarbeiter/in / Doktorand/in / Postdoc an der Professur für Wissensverarbeitung
|Title EN=Research Associate / PhD Student / Postdoc at the chair of Knowledge Representation and Reasoning
|Beschreibung DE=Am '''Institut für Künstliche Intelligenz''' ist an der [[Wissensverarbeitung|'''Professur für Wissensverarbeitung''']] zum '''01.02.2020''' eine Stelle als

wiss. Mitarbeiter/in / Doktorand/in / Postdoc
(bei Vorliegen der persönlichen Voraussetzungen E 13 TV-L)

für die Dauer von 36 Monaten (Beschäftigungsdauer gem. WissZeitVG) mit dem Ziel der eigenen wiss. Weiterqualifikation (i. d. R. Promotion oder Habilitation) zu besetzen.

'''Aufgaben:''' wiss. Forschung vorzugsweise im Gebiet des Lösens von Erfüllbarkeitsproblemen (SAT) oder der Modellierung menschlichen Schließens mittels Verfahren der Logikprogrammierung und der logik-basierten Wissensverarbeitung; Durchführung von Lehrveranstaltungen, insb. von Übungen und Seminaren; Betreuung von Studierenden; Erstellung von Klausuraufgaben; Kontrolle von Klausuren und Mitwirkung bei der Abnahme von mündlichen Prüfungen im Gebiet der Wissensverarbeitung unter der fachlichen Verantwortung des Inhabers der Professur; Mitarbeit bei der akademischen Selbstverwaltung inklusive der Durchführung wiss. Veranstaltungen sowie der Einwerbung von Drittmitteln.

'''Voraussetzungen:''' wiss. HSA der Fachrichtung Informatik (oder angrenzenden Disziplinen); strukturierte Arbeitsweise und die Fähigkeit, Projekte selbstständig voranzubringen und mit allen Beteiligten zu kommunizieren; ausgezeichnetes schriftliches und mündliches Ausdrucksvermögen in deutscher und englischer Sprache.
Frauen sind ausdrücklich zur Bewerbung aufgefordert. Selbiges gilt auch für Menschen mit Behinderungen.

Ihre aussagefähige Bewerbung senden Sie bitte mit den üblichen Unterlagen bis zum '''10.01.2020''' (es gilt der Poststempel der ZPS der TU Dresden) bevorzugt über das SecureMail Portal der TU Dresden https://securemail.tu-dresden.de als ein PDF-Dokument an sh@iccl.tu-dresden.de (Achtung: z. Zt. Kein Zugang für elektronisch signierte sowie verschlüsselte elektronische Dokumente) oder an: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler, Helmholtzstr. 10, 01069 Dresden.''' Ihre Bewerbungsunterlagen werden nicht zurückgesandt, bitte reichen Sie nur Kopien ein. Vorstellungskosten werden nicht übernommen.

'''Hinweis zum Datenschutz:''' Welche Rechte Sie haben und zu welchem Zweck Ihre Daten verarbeitet werden sowie weitere Informationen zum Datenschutz haben wir auf der Webseite https://tu-dresden.de/karriere/datenschutzhinweis für Sie zur Verfügung gestellt.
|Beschreibung EN=At the '''Institute of Artificial Intelligence''' the [[Wissensverarbeitung/en|'''Chair of Knowledge Representation and Reasoning''']] offers a position as

Research Associate / PhD Student / Postdoc
(Subject to personal qualification employees are remunerated according to salary group E13 TV-L)

starting on '''01.02.2020'''. The position is limited for 36 months. The period of employment is governed by Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz-WissZeitVG). The position aims at obtaining further academic qualification (e.g. PhD / habilitation thesis).

'''Tasks:''' scientific research preferably in either the area of satisfiability (SAT) testing or in the area of modelling human reasoning tasks by appropriate logics; organisation of lectures, especially of excercises and seminars; supervision of students; organisation of examinations under the responsibility of the Chair of Knowledge Representation and Reasoning; participation in administrative processes including organisation of scientific events; support in applications for third-party funding.

'''Requirements:''' university degree in computer science (or related disciplines); the ability to communicate and to develop projects in a structured way; good command of the German and the English language.
Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application including the usual documents by '''10.01.2020''' (stamped arrival date of the university central mail service applies) preferably as a single pdf-document to sh@iccl.tu-dresden.de (Please note: We are currently not able to receive electronically signed and encrypted data.) or by mail to: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler, Helmholtzstr. 10, 01069 Dresden.''' Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.

'''Reference to data protection:''' Your data protection rights, the purpose for which your data will be processed, as well as further information about data protection is available to you on the website: https: //tu-dresden.de/karriere/datenschutzhinweis 
|Stellenart=Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
|Forschungsgruppe=Wissensverarbeitung
|Ausschreibender=Steffen Hölldobler
|Bewerbungsfrist=2020/01/10
}}

Stellenausschreibung15

2019-12-23T19:18:30Z

Marcos Cramer:

{{Stellenausschreibung
|Title DE=Wissensch. Mitarbeiter/in / Doktorand/in / Postdoc an der Professur für Wissensverarbeitung
|Title EN=Research Associate / PhD Student / Postdoc at the chair of Knowledge Representation and Reasoning
|Beschreibung DE=Am '''Institut für Künstliche Intelligenz''' ist an der [[Wissensverarbeitung|'''Professur für Wissensverarbeitung''']] zum '''01.02.2020''' eine Stelle als

wiss. Mitarbeiter/in / Doktorand/in / Postdoc
(bei Vorliegen der persönlichen Voraussetzungen E 13 TV-L)

für die Dauer von 36 Monaten (Beschäftigungsdauer gem. WissZeitVG) mit dem Ziel der eigenen wiss. Weiterqualifikation (i. d. R. Promotion oder Habilitation) zu besetzen.

'''Aufgaben:''' wiss. Forschung vorzugsweise im Gebiet des Lösens von Erfüllbarkeitsproblemen (SAT) oder der Modellierung menschlichen Schließens mittels Verfahren der Logikprogrammierung und der logik-basierten Wissensverarbeitung; Durchführung von Lehrveranstaltungen, insb. von Übungen und Seminaren; Betreuung von Studierenden; Erstellung von Klausuraufgaben; Kontrolle von Klausuren und Mitwirkung bei der Abnahme von mündlichen Prüfungen im Gebiet der Wissensverarbeitung unter der fachlichen Verantwortung des Inhabers der Professur; Mitarbeit bei der akademischen Selbstverwaltung inklusive der Durchführung wiss. Veranstaltungen sowie der Einwerbung von Drittmitteln.

'''Voraussetzungen:''' wiss. HSA der Fachrichtung Informatik (oder angrenzenden Disziplinen); strukturierte Arbeitsweise und die Fähigkeit, Projekte selbstständig voranzubringen und mit allen Beteiligten zu kommunizieren; ausgezeichnetes schriftliches und mündliches Ausdrucksvermögen in deutscher und englischer Sprache.
Frauen sind ausdrücklich zur Bewerbung aufgefordert. Selbiges gilt auch für Menschen mit Behinderungen.

Ihre aussagefähige Bewerbung senden Sie bitte mit den üblichen Unterlagen bis zum '''10.01.2020''' (es gilt der Poststempel der ZPS der TU Dresden) bevorzugt über das SecureMail Portal der TU Dresden https://securemail.tu-dresden.de als ein PDF-Dokument an sh@iccl.tu-dresden.de (Achtung: z. Zt. Kein Zugang für elektronisch signierte sowie verschlüsselte elektronische Dokumente) oder an: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler, Helmholtzstr. 10, 01069 Dresden.''' Ihre Bewerbungsunterlagen werden nicht zurückgesandt, bitte reichen Sie nur Kopien ein. Vorstellungskosten werden nicht übernommen.

'''Hinweis zum Datenschutz:''' Welche Rechte Sie haben und zu welchem Zweck Ihre Daten verarbeitet werden sowie weitere Informationen zum Datenschutz haben wir auf der Webseite https://tu-dresden.de/karriere/datenschutzhinweis für Sie zur Verfügung gestellt.
|Beschreibung EN=At the '''Institute of Artificial Intelligence''' the [[Wissensverarbeitung/en|'''Chair of Knowledge Representation and Reasoning''']] offers a position as

Research Associate / PhD Student / Postdoc
(Subject to personal qualification employees are remunerated according to salary group E13 TV-L)

starting on '''01.02.2020'''. The position is limited for 36 months. The period of employment is governed by Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz-WissZeitVG). The position aims at obtaining further academic qualification (e.g. PhD / habilitation thesis).

'''Tasks:''' scientific research preferably in either the area of satisfiability (SAT) testing or in the area of modelling human reasoning tasks by appropriate logics; organisation of lectures, especially of excercises and seminars; supervision of students; organisation of examinations under the responsibility of the Chair of Knowledge Representation and Reasoning; participation in administrative processes including organisation of scientific events; support in applications for third-party funding.

'''Requirements:''' university degree in computer science (or related disciplines); the ability to communicate and to develop projects in a structured way; good command of the German and the English language.
Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application including the usual documents by '''10.01.2020''' (stamped arrival date of the university central mail service applies) preferably as a single pdf-document to sh@iccl.tu-dresden.de (Please note: We are currently not able to receive electronically signed and encrypted data.) or by mail to: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Wissensverarbeitung, Herrn Prof. Steffen Hölldobler, Helmholtzstr. 10, 01069 Dresden.''' Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.

''''''Reference to data protection:''' Your data protection rights, the purpose for which your data will be processed, as well as further information about data protection is available to you on the website: https: //tu-dresden.de/karriere/datenschutzhinweis 
|Stellenart=Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
|Forschungsgruppe=Wissensverarbeitung
|Ausschreibender=Steffen Hölldobler
|Bewerbungsfrist=2020/01/10
}}

Stellenausschreibung15/en

2019-12-23T19:08:33Z

Marcos Cramer: Page created automatically by parser function on page Stellenausschreibung15

Stellenausschreibung15

2019-12-23T19:08:33Z

Marcos Cramer: Die Seite wurde neu angelegt: „{{Stellenausschreibung |Title DE=Wissensch. Mitarbeiter/in an der Professur für Computational Logic |Title EN=Doctoral or postdoctoral researcher at the chair…“

{{Stellenausschreibung
|Title DE=Wissensch. Mitarbeiter/in an der Professur für Computational Logic
|Title EN=Doctoral or postdoctoral researcher at the chair of Computational Logic
|Beschreibung DE=[[Datei:CLGroup-big.png|150px|rahmenlos|rechts]]

An der [[Computational Logic|Professur für Computational Logic]] ist zum nächstmöglichen Zeitpunkt eine Stelle als

===wiss. Mitarbeiter/in / Doktorand/in / Postdoc===
(bei Vorliegen der persönlichen Voraussetzungen E 13 TV-L: [http://oeffentlicher-dienst.info/c/t/rechner/tv-l/ost?id=tv-l-ost&g=E_13&s=1&zv=VBL&z=100&zulage=&stj=2019&stkl=1&r=&zkf=&kk=15.5%25 '''Gehaltstabelle'''])

für 3 Jahre mit der Option der Verlängerung auf bis zu 6 Jahre (Beschäftigungsdauer gem. WissZeitVG) zu besetzen. Die Stelle ist für Doktoranden/-innen und Postdocs geeignet. Es besteht die Gelegenheit zur eigenen wiss. Weiterqualifikation (i.d.R. Promotion / Habilitation). Die Vereinbarkeit von Familie und Beruf hat einen hohen Stellenwert. Die Stelle ist grundsätzlich auch für Teilzeitbeschäftigte geeignet. Eine Teilzeitbeschäftigung zu 50% der regelmäßigen wöchentlichen Arbeitszeit ist möglich; bitte vermerken Sie diesen Wunsch in Ihrer Bewerbung.

Als Mitglied der Professur für Computational Logic werden Sie Teil eines erfolgreichen Teams begeisterter Forscher/innen verschiedenster Hintergründe. Sie arbeiten im inspirierenden Umfeld einer international angesehenen Forschungsgruppe an der TU Dresden, einer der deutschen Exzellenzuniversitäten. Dresden ist eine kulturell und landschaftlich reizvolle, lebenswerte Stadt mit geringen Lebenshaltungskosten.

'''Aufgaben:''' Als Mitarbeiter/in der Professur betreiben Sie Grundlagenforschung auf dem Gebiet der logikbasierten Wissensrepräsentation. Publikation und Präsentation von Ergebnissen in hochrangigen Zeitschriften und auf renommierten internationalen Konferenzen ist ein zentraler Teil der wiss. Arbeit. Im Rahmen der universitären Lehre bringen Sie sich in die Wissensvermittlung und Förderung des Nachwuchses ein. Proaktiv und mit Gemeinschaftssinn übernehmen Sie anfallende administrative und organisatorische Aufgaben.

'''Voraussetzungen:''' Wir suchen motivierte und talentierte Mitarbeiter/innen mit sehr gutem wiss. HSA (M.Sc. oder äquivalent) in Informatik, Mathematik oder einem verwandtem Gebiet, ggf. Promotion und Kenntnissen in einem oder mehreren der folgenden Themen:
* künstliche Intelligenz, Wissensrepräsentation und logisches Schließen
* mathematische Logik, Modelltheorie, Algebra
* semantische Technologien, Wissensgraphen (Knowledge Graphs) oder
* Datenbanktheorie

Postdoc-Kandidaten sollten zusätzlich hervorragende Forschungsleistungen in einem der genannten Themengebiete vorweisen. Bewerber/innen sollten ihre Arbeit selbstständig organisieren, gern in Teams arbeiten und fließend Englisch sprechen und schreiben. Deutschkenntnisse, praktische IT-Kenntnisse und Erfahrungen in der Lehre sind erwünscht.

'''Frauen sind ausdrücklich zur Bewerbung aufgefordert.''' Selbiges gilt auch für Menschen mit Behinderungen.

Ihre vollständigen Bewerbungsunterlagen (einschließlich Motivationsschreiben, Lebenslauf sowie ggf. Schriftenverzeichnis) senden Sie bitte bis zum 31.01.2020 (es gilt der Poststempel der ZPS der TU Dresden, später eingehende Bewerbungen werden berücksichtigt, bis die Stelle besetzt ist) bevorzugt über das [https://securemail.tu-dresden.de SecureMail Portal der TU Dresden] als ein PDF-Dokument an [[Sebastian Rudolph]] bzw. an: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Computational Logic, Herrn Prof. Dr. Sebastian Rudolph, Helmholtzstr. 10, 01069 Dresden'''. Ihre Bewerbungsunterlagen werden nicht zurückgesandt, bitte reichen Sie nur Kopien ein. Vorstellungskosten werden nicht übernommen.

'''Hinweis zum Datenschutz:''' Welche Rechte Sie haben und zu welchem Zweck Ihre Daten verarbeitet werden sowie weitere Informationen zum Datenschutz finden sie auf der Webseite https://tu-dresden.de/karriere/datenschutzhinweis 
|Beschreibung EN=[[Datei:CLGroup-big.png|150px|rahmenlos|rechts]]

The [[Computational Logic/en|Chair of Computational Logic]] invites applications for a

===Research Associate / PhD Student/ Postdoc===
(subject to personal qualification employees are remunerated according to salaray group E 13 TV-L: see [http://oeffentlicher-dienst.info/c/t/rechner/tv-l/ost?id=tv-l-ost&g=E_13&s=1&zv=VBL&z=100&zulage=&stj=2019&stkl=1&r=&zkf=&kk=15.5%25 '''salary table''', details subject to personal experience and tax status])

starting at the next possible date with a duration of 3 years and with the option for extension up to 6 years. The period of employment is governed by the Fixed Term Research Contracts Act (Wissenschaftszeitvertragsgesetz – WissZeitVG). The position is suitable for PhD students and for postdocs and offers the chance to obtain further academic qualification (e.g. Ph.D. or habilitation thesis). Balancing family and career is an important issue. The post is basically suitable for candidates seeking part-time employment. A part-time employment of 50% of the fulltime weekly hours is possible; in case, please indicate this wish in your application.

As a member of the Chair of Computational Logic you will be part of a successful team of experienced researchers of many nationalities and backgrounds. You will work in the vibrant scientific environment of an internationally recognized research group at TU Dresden, one of the German Universities of Excellence. Dresden is a highly livable city with a rich cultural life, beautiful nature and comparably low cost of living.

'''Tasks:''' As a researcher of the Chair of Computational Logic you will perform foundational research in the area of logic-based knowledge representation. Publication and presentation of results in high-ranking journals and at renowned international conferences is a central part of the work. In the course of academic teaching, you contribute to knowledge transfer and promotion of junior academics. Proactively and with community spirit, you take over arising administrative and organizational tasks.

'''Requirements:''' We are looking for a motivated and talented staff member with a very good university degree (M.Sc. or equivalent) in computer science, mathematics or a related area, if applicable a PhD, and with firm background knowledge in one or more of the following topics:
* artificial intelligence, knowledge representation and reasoning,
* mathematical logic, model theory, algebra,
* semantic technologies, knowledge graphs,
* database theory.

Postdocs should have made significant research contributions to one of the above areas. Candidates should be independent in organizing their work, keen on working with teams of experts across other projects, and fluent in English, oral and written. Knowledge of German, IT-skills and teaching experiences are preferable. Applications from women are particularly welcome. The same applies to people with disabilities.

Please submit your comprehensive application (including motivation letter, CV, and record of publications) by '''13th of January 2020''' (stamped arrival date of the university central mail service applies, later applications will be taken into account until the position is filled), preferably via the [https://securemail.tu-dresden.de TU Dresden SecureMail] by sending it as a single PDF document to [[Sebastian Rudolph/en|Sebastian Rudolph]] or by postal mail to: '''TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, Professur für Computational Logic, Prof. Dr. Sebastian Rudolph, Helmholtzstr. 10, 01069 Dresden'''. Please submit copies only, as your application will not be returned to you. Expenses incurred in attending interviews cannot be reimbursed.

'''Reference to data protection:''' Your data protection rights, the purpose for which your data will be processed, and further data protection information are available via https://tu-dresden.de/karriere/datenschutzhinweis 
|Stellenart=Wissenschaftliche(r) Mitarbeiter(in) / Doktorand(in)
|Forschungsgruppe=Computational Logic
|Ausschreibender=Sebastian Rudolph
|Bewerbungsfrist=2020/01/13
}}

Datei:Sheet-1-sol.pdf

2019-12-23T18:53:07Z

Marcos Cramer: Marcos Cramer lud eine neue Version von Datei:Sheet-1-sol.pdf hoch

Science of Computational Logic (WS2019)

2019-12-23T18:51:53Z

Marcos Cramer:

Science of Computational Logic (WS2018)

2019-12-23T18:51:01Z

Marcos Cramer:

{{Vorlesung
|Title=Science of Computational Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Marcos Cramer;
|Term=WS
|Year=2018
|Module=MCL-F, EMCL-B-F, INF-BAS2
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=mündliche Prüfung
|Description=This is the follow-up course to [https://iccl.inf.tu-dresden.de/web/Logic_(WS2018) Logic]. It starts on Monday, 8 December 2018. The course will run with 4 hours of lectures and 4 hours of tutorials per week.

We cover the areas of automated deduction and automated deduction systems, knowledge representation and reasoning, logic-based databases, program development, language design, semantics and verification methods, computational logic and machine learning, computational logic and natural language processing.

* The lecture will be offered as a 4/4/0 lecture starting at the beginning of December (after the logic lecture has ended).
* Lecture and tutorial hours are as in the logic lecture

===Lecture Slides and Script===

The lecture slides as well as the script can be found [http://www.wv.inf.tu-dresden.de/materials/logic/ here]. The user name is ''student'' and the password will be given during the lecture or tutorial.

===Exercises===
* December 20: [https://iccl.inf.tu-dresden.de/w/images/c/c6/1-dl.pdf Exercise sheet 1], all seven problems
* January 10: [https://iccl.inf.tu-dresden.de/w/images/0/07/Sheet-2.pdf Exercise sheet 2], all eight problems
* January 17: [https://iccl.inf.tu-dresden.de/w/images/0/02/Sheet-3.pdf Exercise sheet 3], all three problems
* January 24: [https://iccl.inf.tu-dresden.de/w/images/5/5f/Sheet-4.pdf Exercise sheet 4], all three problems
* January 31: [https://iccl.inf.tu-dresden.de/w/images/b/b7/Sheet-5.pdf Exercise sheet 5], all six problems
}}

Science of Computational Logic (WS2019)

2019-12-13T10:23:24Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2019-12-13T10:22:51Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2019-12-13T10:22:13Z

Marcos Cramer:

Marcos Cramer

2019-12-11T22:42:57Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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 linguistic study of Esperanto.

<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

|Info EN=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 linguistic study of Esperanto.

<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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Marcos Cramer

2019-12-11T22:41:25Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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 linguistic study of Esperanto.

<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

|Info EN=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 linguistic study of Esperanto.

<h1>Publications</h1>

<h3>Peer-reviewed articles</h3>


[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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Marcos Cramer

2019-12-11T22:16:04Z

Marcos Cramer:

{{Mitarbeiter
|Vorname=Marcos
|Nachname=Cramer
|Akademischer Titel=Dr.
|Forschungsgruppe=Wissensverarbeitung
|Stellung=Wissenschaftlicher Mitarbeiter
|Ehemaliger=0
|Telefon=+49 351 463 38426
|Email=marcos.cramer@tu-dresden.de
|Raum=APB2020
|Bild=Mi.jpg
|Info=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 linguistic study of Esperanto.

<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.



[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

|Info EN=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 linguistic study of Esperanto.

<h1>Publications</h1>

<h3>Peer-reviewed articles</h3>


[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

|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ
|Publikationen anzeigen=0
|Abschlussarbeiten anzeigen=1
}}

Science of Computational Logic (WS2019)

2019-11-28T22:37:56Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2019-09-30T14:20:37Z

Marcos Cramer:

Science of Computational Logic (WS2019)/en

2019-09-30T14:19:33Z

Marcos Cramer: Page created automatically by parser function on page Science of Computational Logic (WS2019)

Science of Computational Logic (WS2019)

2019-09-30T14:19:33Z

Marcos Cramer:

Science of Computational Logic (WS2019)

2019-09-30T14:18:49Z

Marcos Cramer: Leere Seite erstellt

Logic (WS2019)

2019-09-30T14:18:26Z

Marcos Cramer:

{{Vorlesung
|Title=Logic
|Research group=Wissensverarbeitung
|Lecturers=Steffen Hölldobler;
|Tutors=Johannes Fichte;
|Term=WS
|Year=2019
|Module=MCL-F, EMCL-B-F
|SWSLecture=2
|SWSExercise=2
|SWSPractical=0
|Exam type=Klausur
|Description=This course introduces propositional logic and first-order predicate logic. After reviewing syntax and semantics, we cover some basic concepts like normal forms, substitution, and unification. We introduce proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.

* Lectures (room APB/E05)
** 4/4/0 lecture until the end of November
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
** In the first week the only lecture is on Friday 4.DS (Oct 18)
* Exercises (room APB/E05)
** Wednesday 1. DS late (7:30am) and Friday 4. DS (1:00pm)
** Starting from: Oct 23, 1. DS
* Lecture notes
** We handout copies of a manuscript once we know how many students will show up
** Slides are available online [http://www.wv.inf.tu-dresden.de/materials/logic/] (password will be given in the lecture or during exercises)
* Consultation hours
** tba

* Exams (Updated):
** Mid-Term: tba
** Final:
*** Sat Dec 14, precise time and place tba
*** Show up early (20 min in advance; we need you to register etc.)!
}}