Emmanuelle-Anna Dietz

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 9

Top Topics

Computational Logic

Formal Analysis

Logic Programming

Top Venues

Publications

Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus
The Weak Completion Semantics and Equality. LPAR (2018)
Emmanuelle-Anna Dietz
A Computational Logic Approach to the Belief Bias in Human Syllogistic Reasoning. CONTEXT (2017)
Marco Ragni, Emmanuelle-Anna Dietz, Ilir Kola, Steffen Hölldobler
Two-Valued Logic is Not Sufficient to Model Human Reasoning, but Three-Valued Logic is: A Formal Analysis. Bridging@IJCAI (2016)
Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
Syllogistic Reasoning under the Weak Completion Semantics. Bridging@IJCAI (2016)
Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals. LPNMR (2015)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Conditionals. GCAI (2015)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Indicative Conditionals. IWOST-1 (2015)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Syllogistic Reasoning Theory and Three Examples. IWOST-2 (2015)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Hops
A Computational Logic Approach to Human Spatial Reasoning. SSCI (2015)
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Contextual Abductive Reasoning with Side-Effects. CoRR (2014)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the suppression task under weak completion and well-founded semantics. J. Appl. Non Class. Logics 24 (1-2) (2014)
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Contextual Abductive Reasoning with Side-Effects. Theory Pract. Log. Program. 14 (4-5) (2014)
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
An Abductive Reasoning Approach to the Belief Bias Effect. KR (2014)
Emmanuelle-Anna Dietz, Damir Vandic, Flavius Frasincar
TaxoLearn: A Semantic Approach to Domain Taxonomy Learning. Web Intelligence (2012)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task. CogSci (2012)