Matthias Baaz
Orcid: 0000-0002-7815-2501
According to our database1,
Matthias Baaz
authored at least 135 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
2023
Proceedings of the Logic, Language, Information, and Computation, 2023
2022
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
2021
2020
Theor. Comput. Sci., 2020
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020
2019
Proceedings of the Logic, Language, Information, and Computation, 2019
2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018
2017
FLAP, 2017
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
2016
Log. J. IGPL, 2016
Proceedings of the Logic, Language, Information, and Computation, 2016
2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
2013
2012
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Log. Methods Comput. Sci., 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Theor. Comput. Sci., 2011
2010
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic.
J. Log. Comput., 2010
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the Logic, 2009
2008
Theor. Comput. Sci., 2008
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega.
J. Log. Comput., 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Logic and Theory of Algorithms, 2008
Proceedings of the Pillars of Computer Science, 2008
2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the Logic for Programming, 2007
2006
Ann. Pure Appl. Log., 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.
Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006
2005
Proceedings of the Computer Science Logic, 19th International Workshop, 2005
On the Proof Theory of the Existence Predicate.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
2004
Proceedings of the Logic for Programming, 2004
2003
Proceedings of the Logic for Programming, 2003
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003
2002
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
Proceedings of the Logic for Programming, 2001
Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001
Proceedings of the Computer Science Logic, 15th International Workshop, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Proceedings of the Computer Science Logic, 2000
1999
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
1997
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995
Proceedings of the Computer Science Logic, 9th International Workshop, 1995
1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994
Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994
Proceedings of the Computer Science Logic, 8th International Workshop, 1994
1993
Elimination of Cuts in First-order Finite-valued Logics.
J. Inf. Process. Cybern., 1993
Dual systems of sequents and tableaux for many-valued logics.
Bull. EATCS, 1993
Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993
Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993
Proceedings of the Database and Expert Systems Applications, 4th International Conference, 1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993
1992
Note on calculi for a three-valued logic for logic programming..
Bull. EATCS, 1992
Ann. Pure Appl. Log., 1992
Proceedings of the Logic Programming and Automated Reasoning, 1992
Proceedings of the Computer Science Logic, 6th Workshop, 1992
1991
A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems.
Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991
1990
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
1989
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989
1987
Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.
Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987
Proceedings of the EUROCAL '87, 1987
1986
Notre Dame J. Formal Log., 1986
1985
Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985