Publications related to automated reasoning

This section contains papers that are related to automated reasoning. It includes both refereed publications and reports, but not edited books or volumes. Entries in this section may appear in the others as well.

Journal and conference papers

  • M. Marin, B. Dundua, T. Kutsia. A Rule-Based System for Computation and Deduction in Mathematica. In: S. Escobar and N. Marti-Oliet, editors. Prpceedings of WRLA 2020 - Rewriting Logic and Its Applications. Volume 12328 of Lecture Notes in Computer Science. Springer, 2020. 57–74.
    PDF, BibTeX.
  • B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky, W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Journal of Formalized Reasoning. 9(1): 149–185, 2016. DOI: 10.6092/issn.1972-5787/4568.
    PDF, BibTeX.
  • B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, 4:470–504, 2006. DOI: 10.1016/j.jal.2005.10.006.
    PDF, BibTeX.
  • T. Kutsia, M. Marin. Solving, Reasoning, and Programming in Common Logic. In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012. September 26–29, 2012, Timisoara, Romania. IEEE Computer Society. © IEEE, 2013, 119–126.
    PDF, BibTeX.
  • T. Jebelean, B. Buchberger, T. Kutsia, N. Popov, W. Schreiner, W. Windsteiger. Automated Reasoning. In: B. Buchberger at al., editors, Hagenberg Research. Springer, 2009. 63–101.
    PDF from the publisher's site, BibTeX.
  • F. Piroi, T. Kutsia. The Theorema Environment for Interactive Proof Development. In: G. Sutcliffe and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 12th International Conference LPAR 2005. December 2–6, 2005. Montego Bay, Jamaica. Volume 3835 of Lecture Notes in Artificial Intelligence. Springer, 2005, 261–275. © Springer.
    PDF, BibTeX.
  • T. Kutsia, B. Buchberger. Predicate Logic with Sequence Variables and Sequence Function Symbols. In: A. Asperti, G. Bancerek, and A. Trybulec, editors, Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM 2004. September 19–21, 2004, Bialowieza, Poland. Volume 3119 of Lecture Notes in Computer Science. Springer, 2004, 205–219. © Springer.
    PDF, BibTeX.
  • T. Kutsia. Equational Prover of Theorema. In: R. Nieuwenhuis, editor, Proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003. June 9–11, 2003, Valencia, Spain. Volume 2706 of Lecture Notes in Computer Science. Springer, 2003, 367–379. © Springer.
    PDF, BibTeX.
  • T. Kutsia. Theorem Proving with Sequence Variables and Flexible Arity Symbols. In: M. Baaz and A. Voronkov, editors, Logic in Programming, Artificial Intelligence and Reasoning. Proceedings of the 9th International Conference LPAR 2002. October 14–18, 2002, Tbilisi, Georgia. Volume 2514 of Lecture Notes in Artificial Intelligence. Springer, 2002, 278–291. © Springer.
    PDF, BibTeX.

Workshop papers and technical reports

  • T. Kutsia. Unification modulo alpha-equivalence in a mathematical assistant system. Technical report no. 20-01 in RISC Report Series, RISC, Johannes Kepler University Linz, Austria. 2020.
    PDF, BibTeX.
  • T. Kutsia. Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols. Technical report no. 02-09 in RISC Report Series, RISC, Johannes Kepler University Linz, May 2002. PhD Thesis.
    PS, BibTeX.