Search Results - "THIMM, MATTHIAS"

Multi‐modal strain mapping of steel crack tips with micrometre spatial resolution.

Authors: Khaliq, Ahmar Wittwer, Felix Wildeis, Anna et al.

Source: Journal of Synchrotron Radiation. Nov2025, Vol. 32 Issue 6, p1503-1510. 8p.

Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation.

Authors: Thimm, Matthias¹

Source: Journal of Logic & Computation; Jul2025, Vol. 35 Issue 5, p1-19, 19p

SPECIAL ISSUE ON FOUNDATIONS, APPLICATIONS, AND THEORY OF INDUCTIVE LOGIC.

Authors: ADAMČÍK, MARTIN THIMM, MATTHIAS

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Jan2024, Vol. 11 Issue 1, p1-3. 3p.

On the realisability of weak argumentation semantics.

Authors: Doukas, Theodoros Thimm, Matthias

Source: Journal of Logic & Computation; Dec2025, Vol. 35 Issue 8, p1-41, 41p

Learning argumentation frameworks from labelings.

Authors: Bengel, Lars Thimm, Matthias Rienstra, Tjitze

Source: Argument & Computation; 2024, Vol. 15 Issue 2, p121-159, 39p

Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement.

Authors: Kuhlmann, Isabelle Gessler, Anna Laszlo, Vivien et al.

Source: Journal of Artificial Intelligence Research. 2025, Vol. 82, p563-685. 123p.

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.

Authors: Heyninck, Jesse Kern-Isberner, Gabriele Thimm, Matthias et al.

Source: Annals of Mathematics & Artificial Intelligence; Nov2021, Vol. 89 Issue 10/11, p1075-1099, 25p

An experimental analysis on the similarity of argumentation semantics.

Authors: Cerutti, Federico Thimm, Matthias Vallati, Mauro

Source: Argument & Computation; 2020, Vol. 11 Issue 3, p269-304, 36p

THE SEMANTICAL STRUCTURE OF CONDITIONALS, AND ITS RELATION TO FORMAL ARGUMENTATION.

Authors: HEYNINCK, JESSE KERN-ISBERNER, GABRIELE RIENSTRA, TJITZE et al.

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Mar2025, Vol. 12 Issue 3, p661-712. 52p.

On the complexity of inconsistency measurement.

Authors: Thimm, Matthias Wallner, Johannes P.

Source: Artificial Intelligence; Oct2019, Vol. 275, p411-456, 46p

Revisiting initial sets in abstract argumentation.

Authors: Thimm, Matthias¹, matthias.thimm@fernuni-hagen.de

Source: Argument & Computation; 2022, Vol. 13 Issue 3, p325-360, 36p

Preface for the special issue on argument strength.

Authors: Heyninck, Jesse Skiba, Kenneth Thimm, Matthias

Source: Argument & Computation; 2023, Vol. 14 Issue 3, p245-246, 2p

On probabilistic inference in relational conditional logics.

Authors: Thimm, Matthias Kern-Isberner, Gabriele

Source: Logic Journal of the IGPL; Oct2012, Vol. 20 Issue 5, p872-908, 37p

An integrated development environment for probabilistic relational reasoning.

Authors: Finthammer, Marc Thimm, Matthias

Source: Logic Journal of the IGPL; Oct2012, Vol. 20 Issue 5, p831-871, 41p

Paraconsistent reasoning for inconsistency measurement in declarative process specifications.

Authors: Corea, Carl Kuhlmann, Isabelle Thimm, Matthias et al.

Source: Information Systems; May2024, Vol. 122, pN.PAG-N.PAG, 1p

Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.

Authors: Heyninck, Jesse Kern-Isberner, Gabriele Rienstra, Tjitze et al.

Source: Artificial Intelligence; Apr2023, Vol. 317, pN.PAG-N.PAG, 1p

Thirty years of Artificial Intelligence and Law: the first decade.

Authors: Governatori, Guido Bench-Capon, Trevor Verheij, Bart et al.

Source: Artificial Intelligence & Law; Dec2022, Vol. 30 Issue 4, p481-519, 39p

Characterizing the Fatigue Damage in a Martensitic Spring Steel.

Authors: Wildeis, Anna Christ, Hans-Jürgen Brandt, Robert et al.

Source: Steel Research International. Dec2021, Vol. 92 Issue 12, p1-8. 8p.

Handling and measuring inconsistency in non-monotonic logics.

Authors: Ulbricht, Markus Thimm, Matthias Brewka, Gerhard

Source: Artificial Intelligence; Sep2020, Vol. 286, pN.PAG-N.PAG, 1p

On quasi-inconsistency and its complexity.

Authors: Corea, Carl Thimm, Matthias

Source: Artificial Intelligence; Jul2020, Vol. 284, pN.PAG-N.PAG, 1p