Search Results - "THIMM, MATTHIAS"

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

Toward Dynamic Phase‐Field Fracture at Finite Strains.

Authors: Tornquist, Sven Thimm, Matthias Weinberg, Kerstin et al.

Source: PAMM: Proceedings in Applied Mathematics & Mechanics. Mar2026, Vol. 26 Issue 1, p1-7. 7p.

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.

Subjects: Mathematical bounds, Semantics, Systems theory

TOWARDS HANDLING POTENTIAL ISSUES IN BUSINESS RULE BASES.

Authors: COREA, CARL THIMM, MATTHIAS

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Aug2024, Vol. 11 Issue 4, p565-592. 28p.

Measuring Inconsistency with the Tableau Method.

Authors: Ribeiro, Jandson S. Thimm, Matthias

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Nov2023, Vol. 10 Issue 5, p643-691. 49p.

AN APPRECIATION TO DOV GABBAY.

Authors: THIMM, MATTHIAS¹

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Oct2025, Vol. 12 Issue 6, p1399-1400. 2p.

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.

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

Learning argumentation frameworks from labelings.

Authors: Bengel, Lars Thimm, Matthias Rienstra, Tjitze

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

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

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

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

On the complexity of inconsistency measurement.

Authors: Thimm, Matthias Wallner, Johannes P.

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

Subjects: Computational complexity, Statistical decision making, Measurement

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

Algorithms for computing the set of acceptable arguments.

Authors: Bengel, Lars Thimm, Matthias Cerutti, Federico et al.

Source: International Journal of Approximate Reasoning. Oct2025, Vol. 185, pN.PAG-N.PAG. 1p.

Strong inconsistency.

Authors: Brewka, Gerhard Thimm, Matthias Ulbricht, Markus

Source: Artificial Intelligence. Feb2019, Vol. 267, p78-117. 40p.

Subjects: Set theory, Subset selection, Knowledge base, Genetic algorithms, Combinatorial optimization

The first international competition on computational models of argumentation: Results and analysis.

Authors: Thimm, Matthias Villata, Serena

Source: Artificial Intelligence. Nov2017, Vol. 252, p267-294. 28p.

Subjects: International competition, Computational complexity, Problem solving, Semantics, Hybrid systems

A general approach to reasoning with probabilities.

Authors: Cerutti, Federico Thimm, Matthias

Source: International Journal of Approximate Reasoning. Aug2019, Vol. 111, p35-50. 16p.

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.