Marcos Cramer: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcos Cramer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Marcos Cramer (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 15: | Zeile 15: | ||
<h3>Peer-reviewed articles</h3> | <h3>Peer-reviewed articles</h3> | ||
< | <p> | ||
[ http://icr.uni.lu/mcramer/downloads/2019_JELIA.pdf Empirical Study on Human Evaluation of Complex Argumentation Frameworks]<br /> | [http://icr.uni.lu/mcramer/downloads/2019_JELIA.pdf Empirical Study on Human Evaluation of Complex Argumentation Frameworks]<br /> | ||
Marcos Cramer and Mathieu Guillaume <br /> | Marcos Cramer and Mathieu Guillaume <br /> | ||
<i>Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2019.</i> | <i>Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2019.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/2018_COMMA_empirical.pdf Empirical Cognitive Study on Abstract Argumentation Semantics]<br /> | |||
Marcos Cramer and Mathieu Guillaume <br /> | Marcos Cramer and Mathieu Guillaume <br /> | ||
<i>Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.</i> | <i>Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/2018_Bridging.pdf Directionality of Attacks in Natural Language Argumentation]<br /> | |||
Marcos Cramer and Mathieu Guillaume <br /> | Marcos Cramer and Mathieu Guillaume <br /> | ||
<i>Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning 2018.</i> | <i>Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning 2018.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/2018_CLAR.pdf A dynamic approach for combining abstract argumentation semantics]<br /> | |||
Jérémie Dauphin, Marcos Cramer and Leendert van der Torre <br /> | Jérémie Dauphin, Marcos Cramer and Leendert van der Torre <br /> | ||
<i>Proceedings of the Chinese Conference for Logic and Argumentation (CLAR) 2018.</i> | <i>Proceedings of the Chinese Conference for Logic and Argumentation (CLAR) 2018.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/TAFA.pdf ASPIC-END: Structured Argumentation with Explanations and Natural Deduction]<br /> | |||
Jérémie Dauphin and Marcos Cramer <br /> | Jérémie Dauphin and Marcos Cramer <br /> | ||
<i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> | <i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/TAFA_EEAF.pdf Extended Explanatory Argumentation Frameworks]<br /> | |||
Jérémie Dauphin and Marcos Cramer <br /> | Jérémie Dauphin and Marcos Cramer <br /> | ||
<i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> | <i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/Cramer_PhML-2012.pdf Implicit dynamic function introduction and Ackermann-like Function Theory]<br /> | |||
Marcos Cramer <br /> | Marcos Cramer <br /> | ||
<i>IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017.</i> | <i>IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/FCS_dAEL.pdf A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions]<br /> | |||
Diego Agustín Ambrossio and Marcos Cramer <br /> | Diego Agustín Ambrossio and Marcos Cramer <br /> | ||
<i>Proceedings of the Workshop on the Foundations of Computer Security (FCS), 2017.</i> | <i>Proceedings of the Workshop on the Foundations of Computer Security (FCS), 2017.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/Revocation_postulates.pdf Postulates for Revocation Schemes]<br /> | |||
Marcos Cramer and Giovanni Casini <br /> | Marcos Cramer and Giovanni Casini <br /> | ||
<i>Proceedings of the International Conference on Principles of Security and Trust (POST) 2017.</i><br > | <i>Proceedings of the International Conference on Principles of Security and Trust (POST) 2017.</i><br > | ||
Full version with proofs: | Full version with proofs: [http://icr.uni.lu/mcramer/downloads/Revocation_postulates_tech_rep.pdf Postulates for Revocation Schemes – Technical Report] | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/IJCAI_2016.pdf Distributed Autoepistemic Logic and its Application to Access Control]<br /> | |||
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker <br > | Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker <br > | ||
<i>Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2016.</i> | <i>Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2016.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/CSF_2016.pdf Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete]<br /> | |||
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville and Marc Denecker <br > | Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville and Marc Denecker <br > | ||
<i>Proceedings of the Computer Security Foundations Symposium (CSF) 2016.</i> | <i>Proceedings of the Computer Security Foundations Symposium (CSF) 2016.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/SACMAT.pdf A Logic of Trust for Reasoning about Delegation and Revocation]<br /> | |||
Marcos Cramer, Diego Agustín Ambrossio and Pieter Van Hertum <br > | Marcos Cramer, Diego Agustín Ambrossio and Pieter Van Hertum <br > | ||
<i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> | <i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/blacklist.pdf A Logical Approach to Restricting Access in Online Social Networks]<br /> | |||
Marcos Cramer, Jun Pang and Yang Zhang <br > | Marcos Cramer, Jun Pang and Yang Zhang <br > | ||
<i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> | <i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/SDV.pdf The Naproche system: Proof-checking mathematical texts in controlled natural language]<br /> | |||
Marcos Cramer <br /> | Marcos Cramer <br /> | ||
<i>SDV - International Journal for Language Data Processing, Vol. 31, 1-2, 2014.</i> | <i>SDV - International Journal for Language Data Processing, Vol. 31, 1-2, 2014.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/NLCS.pdf Modelling implicit dynamic introduction of function symbols in mathematical texts]<br /> | |||
Marcos Cramer <br /> | Marcos Cramer <br /> | ||
<i>Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS) 2014.</i> | <i>Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS) 2014.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/Festschrift.pdf Modelling the usage of partial functions and undefined terms using presupposition theory]<br /> | |||
Marcos Cramer <br /> | Marcos Cramer <br /> | ||
<i>Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 2014.</i> | <i>Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 2014.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/MKM.pdf Parsing and Disambiguation of Symbolic Mathematics in the Naproche System]<br /> | |||
Marcos Cramer, Peter Koepke and Bernhard Schröder <br /> | Marcos Cramer, Peter Koepke and Bernhard Schröder <br /> | ||
<i>Proceedings of the Conference on Intelligent Computer Mathematics (CICM) 2011. </i> | <i>Proceedings of the Conference on Intelligent Computer Mathematics (CICM) 2011. </i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/CNL.pdf Interpreting Plurals in the Naproche CNL]<br /> | |||
Marcos Cramer and Bernhard Schröder <br /> | Marcos Cramer and Bernhard Schröder <br /> | ||
Proceedings of the Controlled Natural Language (CNL) Workshop 2010.</i> The original publication is available at | Proceedings of the Controlled Natural Language (CNL) Workshop 2010.</i> The original publication is available at [http://www.springerlink.com www.springerlink.com]. | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/IJCAR.pdf Premise Selection in the Naproche System]<br /> | |||
Marcos Cramer, P. Koepke, D. Kühlwein, and B. Schröder <br /> | Marcos Cramer, P. Koepke, D. Kühlwein, and B. Schröder <br /> | ||
<i>Proceedings of the International Joint Conference on Automated Reasoning (IJCAR) 2010.</i> The original publication is available at | <i>Proceedings of the International Joint Conference on Automated Reasoning (IJCAR) 2010.</i> The original publication is available at [http://www.springerlink.com www.springerlink.com]. | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/konvens10.pdf Presupposition Projection and Accommodation in Mathematical Texts]<br /> | |||
Marcos Cramer, Daniel Kühlwein and Bernhard Schröder <br /> | Marcos Cramer, Daniel Kühlwein and Bernhard Schröder <br /> | ||
<i>Proceedings of the Conference on Natural Language Processing (KONVENS) 2010. </i> | <i>Proceedings of the Conference on Natural Language Processing (KONVENS) 2010. </i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/emergingsystems.pdf The Naproche System]<br /> | |||
Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder <br /> | Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder <br /> | ||
<i>Proceedings of Calculemus 2009.</i> | <i>Proceedings of Calculemus 2009.</i> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/CNL-paper.pdf The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts]<br /> | |||
Marcos Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman <br /> | Marcos Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman <br /> | ||
Proceedings of the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at | Proceedings of the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at [http://www.springerlink.com www.springerlink.com]. | ||
</ | </p> | ||
<h3>Other publications</h3> | <h3>Other publications</h3> | ||
<p> | |||
< | [http://icr.uni.lu/mcramer/downloads/eblas_Ea_lingvoscienco.pdf Ĉu tamen eblas pri-Esperanta lingvoscienco? ... aŭ kiel difini kiuj estas la kompetentaj parolantoj kiuj determinas la lingvan regularon?]<br /> | ||
Paper for the Esperantologia Konferenco 2014. | Paper for the Esperantologia Konferenco 2014. | ||
</ | </p> | ||
< | <p> | ||
<b> | <b>[http://icr.uni.lu/mcramer/downloads/doktor.pdf Proof-checking mathematical texts in controlled natural language]<br /> | ||
Phd thesis, University of Bonn, 2013. </b> | Phd thesis, University of Bonn, 2013. </b> | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/PhML.pdf Implicit dynamic function introduction and its connections to the foundations of mathematics]<br /> | |||
Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012). | Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012). | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/COCONAT.pdf Higher-Order Dynamic Predicate Logic]<br /> | |||
Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011. | Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011. | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/KAEST.pdf Komputlingvoscienca kaj logika analizado de matematikaj tekstoj]<br /> | |||
Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010. | Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010. | ||
</ | </p> | ||
< | <p> | ||
[http://icr.uni.lu/mcramer/downloads/cramermaster.pdf Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen]<br /> | |||
Master thesis, 2009 | Master thesis, 2009 | ||
</ | </p> | ||
|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. | |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. | ||
<h1>Publications</h1> | |||
<h3>Peer-reviewed articles</h3> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/2019_JELIA.pdf Empirical Study on Human Evaluation of Complex Argumentation Frameworks]<br /> | |||
Marcos Cramer and Mathieu Guillaume <br /> | |||
<i>Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA) 2019.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/2018_COMMA_empirical.pdf Empirical Cognitive Study on Abstract Argumentation Semantics]<br /> | |||
Marcos Cramer and Mathieu Guillaume <br /> | |||
<i>Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/2018_Bridging.pdf Directionality of Attacks in Natural Language Argumentation]<br /> | |||
Marcos Cramer and Mathieu Guillaume <br /> | |||
<i>Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning 2018.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/2018_CLAR.pdf A dynamic approach for combining abstract argumentation semantics]<br /> | |||
Jérémie Dauphin, Marcos Cramer and Leendert van der Torre <br /> | |||
<i>Proceedings of the Chinese Conference for Logic and Argumentation (CLAR) 2018.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/TAFA.pdf ASPIC-END: Structured Argumentation with Explanations and Natural Deduction]<br /> | |||
Jérémie Dauphin and Marcos Cramer <br /> | |||
<i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/TAFA_EEAF.pdf Extended Explanatory Argumentation Frameworks]<br /> | |||
Jérémie Dauphin and Marcos Cramer <br /> | |||
<i>Proceedings of the International Workshop on Theory and Applications of Formal Argumentation (TAFA) 2017.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/Cramer_PhML-2012.pdf Implicit dynamic function introduction and Ackermann-like Function Theory]<br /> | |||
Marcos Cramer <br /> | |||
<i>IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/FCS_dAEL.pdf A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions]<br /> | |||
Diego Agustín Ambrossio and Marcos Cramer <br /> | |||
<i>Proceedings of the Workshop on the Foundations of Computer Security (FCS), 2017.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/Revocation_postulates.pdf Postulates for Revocation Schemes]<br /> | |||
Marcos Cramer and Giovanni Casini <br /> | |||
<i>Proceedings of the International Conference on Principles of Security and Trust (POST) 2017.</i><br > | |||
Full version with proofs: [http://icr.uni.lu/mcramer/downloads/Revocation_postulates_tech_rep.pdf Postulates for Revocation Schemes – Technical Report] | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/IJCAI_2016.pdf Distributed Autoepistemic Logic and its Application to Access Control]<br /> | |||
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker <br > | |||
<i>Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) 2016.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/CSF_2016.pdf Resilient Delegation Revocation with Precedence for Predecessors is NP-Complete]<br /> | |||
Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville and Marc Denecker <br > | |||
<i>Proceedings of the Computer Security Foundations Symposium (CSF) 2016.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/SACMAT.pdf A Logic of Trust for Reasoning about Delegation and Revocation]<br /> | |||
Marcos Cramer, Diego Agustín Ambrossio and Pieter Van Hertum <br > | |||
<i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/blacklist.pdf A Logical Approach to Restricting Access in Online Social Networks]<br /> | |||
Marcos Cramer, Jun Pang and Yang Zhang <br > | |||
<i>Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT) 2015.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/SDV.pdf The Naproche system: Proof-checking mathematical texts in controlled natural language]<br /> | |||
Marcos Cramer <br /> | |||
<i>SDV - International Journal for Language Data Processing, Vol. 31, 1-2, 2014.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/NLCS.pdf Modelling implicit dynamic introduction of function symbols in mathematical texts]<br /> | |||
Marcos Cramer <br /> | |||
<i>Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS) 2014.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/Festschrift.pdf Modelling the usage of partial functions and undefined terms using presupposition theory]<br /> | |||
Marcos Cramer <br /> | |||
<i>Infinity, Computability and Metamathematics – Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 2014.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/MKM.pdf Parsing and Disambiguation of Symbolic Mathematics in the Naproche System]<br /> | |||
Marcos Cramer, Peter Koepke and Bernhard Schröder <br /> | |||
<i>Proceedings of the Conference on Intelligent Computer Mathematics (CICM) 2011. </i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/CNL.pdf Interpreting Plurals in the Naproche CNL]<br /> | |||
Marcos Cramer and Bernhard Schröder <br /> | |||
Proceedings of the Controlled Natural Language (CNL) Workshop 2010.</i> The original publication is available at [http://www.springerlink.com www.springerlink.com]. | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/IJCAR.pdf Premise Selection in the Naproche System]<br /> | |||
Marcos Cramer, P. Koepke, D. Kühlwein, and B. Schröder <br /> | |||
<i>Proceedings of the International Joint Conference on Automated Reasoning (IJCAR) 2010.</i> The original publication is available at [http://www.springerlink.com www.springerlink.com]. | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/konvens10.pdf Presupposition Projection and Accommodation in Mathematical Texts]<br /> | |||
Marcos Cramer, Daniel Kühlwein and Bernhard Schröder <br /> | |||
<i>Proceedings of the Conference on Natural Language Processing (KONVENS) 2010. </i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/emergingsystems.pdf The Naproche System]<br /> | |||
Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder <br /> | |||
<i>Proceedings of Calculemus 2009.</i> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/CNL-paper.pdf The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts]<br /> | |||
Marcos Cramer, B. Fisseni, P. Koepke, D. Kühlwein, B. Schröder and J. Veldman <br /> | |||
Proceedings of the Controlled Natural Language (CNL) Workshop 2009. The original publication is available at [http://www.springerlink.com www.springerlink.com]. | |||
</p> | |||
<h3>Other publications</h3> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/eblas_Ea_lingvoscienco.pdf Ĉu tamen eblas pri-Esperanta lingvoscienco? ... aŭ kiel difini kiuj estas la kompetentaj parolantoj kiuj determinas la lingvan regularon?]<br /> | |||
Paper for the Esperantologia Konferenco 2014. | |||
</p> | |||
<p> | |||
<b>[http://icr.uni.lu/mcramer/downloads/doktor.pdf Proof-checking mathematical texts in controlled natural language]<br /> | |||
Phd thesis, University of Bonn, 2013. </b> | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/PhML.pdf Implicit dynamic function introduction and its connections to the foundations of mathematics]<br /> | |||
Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012). | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/COCONAT.pdf Higher-Order Dynamic Predicate Logic]<br /> | |||
Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011. | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/KAEST.pdf Komputlingvoscienca kaj logika analizado de matematikaj tekstoj]<br /> | |||
Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010. | |||
</p> | |||
<p> | |||
[http://icr.uni.lu/mcramer/downloads/cramermaster.pdf Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen]<br /> | |||
Master thesis, 2009 | |||
</p> | |||
|DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos | |DBLP=https://dblp.uni-trier.de/pers/hd/c/Cramer:Marcos | ||
|Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ | |Google Scholar=https://scholar.google.de/citations?hl=en&user=ODViFjwAAAAJ | ||
Version vom 21. August 2019, 12:47 Uhr
Dr. Marcos Cramer
Wissenschaftlicher Mitarbeiter Wissensverarbeitung
- marcos.cramer@tu-dresden.de
- +49 351 463 38426
- APB2020
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.
Publications
Peer-reviewed articles
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.
Empirical Cognitive Study on Abstract Argumentation Semantics
Marcos Cramer and Mathieu Guillaume
Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.
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.
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.
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.
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.
Implicit dynamic function introduction and Ackermann-like Function Theory
Marcos Cramer
IfCoLog Journal of Logics and their Applications, Vol. 4, Issue 4, 2017.
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.
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: Postulates for Revocation Schemes – Technical Report
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.
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.
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.
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.
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.
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.
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.
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.
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 www.springerlink.com.
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 www.springerlink.com.
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.
The Naproche System
Daniel Kühlwein, Marcos Cramer Peter Koepke and Bernhard Schröder
Proceedings of Calculemus 2009.
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 www.springerlink.com.
Other publications
Ĉ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.
Proof-checking mathematical texts in controlled natural language
Phd thesis, University of Bonn, 2013.
Implicit dynamic function introduction and its connections to the foundations of mathematics
Paper for the conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction" (PhML 2012).
Higher-Order Dynamic Predicate Logic
Extended abstract for the Conference on Computing Natural Reasoning (COCONAT) 2011.
Komputlingvoscienca kaj logika analizado de matematikaj tekstoj
Paper for the Konferenco por Apliko de Esperanto en Scienco kaj Tekniko (KAEST) 2010.
Mathematisch-logische Aspekte von Beweisrepräsentationsstrukturen
Master thesis, 2009
Neueste Publikationen
Komplette Publikationsliste anzeigen
Marcos Cramer, Meghna Bhadra
Deductive Joint Support for Rational Unrestricted Rebuttal
Computational Models of Argument, 2020. IOS Press
Details
