Christian G. Fermüller

Fuzzy Sets Syst., August, 2023

Probabilistic interpretations of argumentative attacks: Logical and experimental results1.

[BibT_eX]

[DOI]

Niki Pfeifer

Argument Comput., 2023

Many-Valued Judgment Aggregation - Some New Possibility Results.

[BibT_eX]

[DOI]

Sebastian Uhl

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2023

Some Consistency Criteria for Many-Valued Judgment Aggregation.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2020

On fuzzification mechanisms for unary quantification.

[BibT_eX]

[DOI]

Paolo Baldi

Matthias F. J. Hofer

Fuzzy Sets Syst., 2020

Interpreting Propositional Fuzzy Logics via Imperfect Information Games.

[BibT_eX]

[DOI]

Ondrej Majer

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.

[BibT_eX]

[DOI]

Timo Lang

Alexandra Pavlova

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2019

Connecting fuzzy logic and argumentation frames via logical attack principles.

[BibT_eX]

[DOI]

Esther Anna Corsi

Soft Comput., 2019

Dermtrainer: A Decision Support System for Dermatological Diseases.

[BibT_eX]

[DOI]

Rosa María Rodríguez Domínguez

Martin Haiduk

Harald Kittler

Arno Lukas

Antonia Wesinger

Elisabeth Riedl

CoRR, 2019

A Game Model for Proofs with Costs.

[BibT_eX]

[DOI]

Timo Lang

Carlos Olarte

Elaine Pimentel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

A Granularity Approach to Vague Quantification.

[BibT_eX]

[DOI]

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2018

2017

Interpreting Sequent Calculi as Client-Server Games.

[BibT_eX]

[DOI]

Timo Lang

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Logical Argumentation Principles, Sequents, and Nondeterministic Matrices.

[BibT_eX]

[DOI]

Esther Anna Corsi

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Hintikka Style Game Rules for Semi-Fuzzy Quantifiers.

[BibT_eX]

[DOI]

Matthias F. J. Hofer

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Querying with Vague Quantifiers Using Probabilistic Semantics.

[BibT_eX]

[DOI]

Matthias F. J. Hofer

Magdalena Ortiz

Proceedings of the Flexible Query Answering Systems - 12th International Conference, 2017

From Semi-fuzzy to Fuzzy Quantifiers via Łukasiewicz Logic and Games.

[BibT_eX]

[DOI]

Paolo Baldi

Proceedings of the Advances in Fuzzy Logic and Technology 2017 - Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017, 2017

2016

Semantic Games with Backtracking for T-norm Based Fuzzy Logics.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2016

On matrices, Nmatrices and games.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Representing strategic games and their equilibria in many-valued logics.

[BibT_eX]

[DOI]

Log. J. IGPL, 2016

2015

Equilibrium Semantics for IF Logic and Many-Valued Connectives.

[BibT_eX]

[DOI]

Ondrej Majer

Proceedings of the Logic, Language, and Computation, 2015

Combining Fuzziness and Context Sensitivity in Game Based Models of Vague Quantification.

[BibT_eX]

[DOI]

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2015

Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic.

[BibT_eX]

[DOI]

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

From Games to Truth Functions: A Generalization of Giles's Game.

[BibT_eX]

[DOI]

Christoph Roschger

Stud Logica, 2014

Semantic Games with Backtracking for Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

Hintikka-Style Semantic Games for Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2014

2012

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Randomized Game Semantics for Semi-fuzzy Quantifiers.

[BibT_eX]

[DOI]

Christoph Roschger

Proceedings of the Advances in Computational Intelligence, 2012

2010

A Resolution Mechanism for Prenex Gödel Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

Revisiting Giles's Game.

[BibT_eX]

[DOI]

Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

Giles's Game and the Proof Theory of Lukasiewicz Logic.

[BibT_eX]

[DOI]

George Metcalfe

Stud Logica, 2009

2008

Dialogue Games for Many-Valued Logics - an Overview.

[BibT_eX]

[DOI]

Stud Logica, 2008

Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

2007

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

Exploring Dialogue Games as Foundation of Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

Fuzzy Logic and Theories of Vagueness.

[BibT_eX]

[DOI]

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

Combining Supervaluation and Degree Based Reasoning Under Vagueness.

[BibT_eX]

[DOI]

Robert Kosik

Proceedings of the Logic for Programming, 2006

Model Representation over Finite and Infinite Signatures.

[BibT_eX]

[DOI]

Reinhard Pichler

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

Model Representation via Contexts and Implicit Generalizations.

[BibT_eX]

[DOI]

Reinhard Pichler

Proceedings of the Automated Deduction, 2005

2004

Uniform Rules and Dialogue Games for Fuzzy Logics.

[BibT_eX]

[DOI]

George Metcalfe

Proceedings of the Logic for Programming, 2004

2003

Hypersequent Calculi for Gödel Logics - a Survey.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

Parallel Dialogue Games and Hypersequents for Intermediate Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

A Translation Characterizing the Constructive Content of Classical Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2003

From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

2001

Tableaux for Reasoning About Atomic Updates.

[BibT_eX]

[DOI]

Georg Moser

Proceedings of the Logic for Programming, 2001

Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.

[BibT_eX]

[DOI]

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

Resolution Decision Procedures.

[BibT_eX]

[DOI]

Ullrich Hustadt

Tanel Tammet

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

Automated Deduction for Many-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

An Analytic Calculus for Quantified Propositional Gödel Logic.

[BibT_eX]

[DOI]

Helmut Veith

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Have Spass with OCC1Ng=.

[BibT_eX]

[DOI]

Georg Moser

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Workshop: Model Computation - Principles, Algorithms, Applications.

[BibT_eX]

[DOI]

Peter Baumgartner

Nicolas Peltier

Hantao Zhang

Proceedings of the Automated Deduction, 2000

1999

Analytic Calculi for Projective Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

On the Undecidability of some Sub-Classical First-Order Logics.

[BibT_eX]

[DOI]

Helmut Veith

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Labeled Calculi and Finite-Valued Logics.

[BibT_eX]

[DOI]

Stud Logica, 1998

Decision Procedures and Model Building in Equational Clause Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.

[BibT_eX]

[DOI]

Herbert Langsteiner

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.

[BibT_eX]

[DOI]

Helmut Veith

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Implicational Completeness of Signed Resolution.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997

Lean Induction Principles for Tableaux.

[BibT_eX]

[DOI]

Uwe Egly

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996

Hyperresolution and Automated Model Building.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

Combining Many-valued and Intuitionistic Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

Intuitionistic Counterparts of Finitely-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

Semantic Trees Revisited: Some New Completeness Results.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

MUltlog 1.0: Towards an Expert System for Many-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Resolution-Based Theorem Proving for Manyvalued Logics.

[BibT_eX]

[DOI]

J. Symb. Comput., 1995

Non-elementary Speedups between Different Versions of Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

Elimination of Cuts in First-order Finite-valued Logics.

[BibT_eX]

J. Inf. Process. Cybern., 1993

Dual systems of sequents and tableaux for many-valued logics.

[BibT_eX]

Bull. EATCS, 1993

Removing Redundancy from a Clause.

[BibT_eX]

[DOI]

Georg Gottlob

Artif. Intell., 1993

Ordered Paramodulation and Resolution as Decision Procedure.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

MULTILOG: A System for Axiomatizing Many-valued Logics.

[BibT_eX]

[DOI]

Arie Ovrutcki

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Systematic Construction of Natural Deduction Systems for Many-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

Resolution Methods for the Decision Problem

[BibT_eX]

[DOI]

Tanel Tammet

N. K. Zamov

Lecture Notes in Computer Science 679, Springer, ISBN: 3-540-56732-1, 1993

1992

Resolution for Many-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

Model Building by Resolution.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 6th Workshop, 1992

1991

Deciding classes of clause sets by resolution.

[BibT_eX]

PhD thesis, 1991

1990

A Resolution Variant Deciding some Classes of Clause Sets.

[BibT_eX]

[DOI]