Liss — The logic inference search system

  • A. A. Voronkov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)


  1. 1.
    Ono H. Semantic analysis of the logics without structure rules, Studia Logica, 1986.Google Scholar
  2. 2.
    Ketonen J., Weyhrauch R. A decidable fragment of predicate calculus, Theoretical Computer Science 32, 1984, pp. 297–307.Google Scholar
  3. 3.
    Mey D. A predicate calculus with control of derivations, to be published in Proc. 3rd Computer Science Logic Workshop, LNCS, 1990.Google Scholar
  4. 4.
    Maslov S.Y. The inverse method of establishing deducibility for logical calculi, Trudy Instituta Matematiki, vol. 67, 1968.Google Scholar
  5. 5.
    Voronkov A.A. A proof-search method for first-order logic. — In: COLOG-88 (papers presented at the Int. Conf. on Computer Logic), Part 2, Tallinn, 1988, p.104–118. (Also to be published in LNCS).Google Scholar
  6. 6.
    Wos L. Solving open questions with an automated theorem proving program, Proc. 6th CADE, LNCS 138, 1982, pp. 1–31.Google Scholar
  7. 7.
    Lusk E.L., McCune W.W., Overbeek R.A. Logic Machine Architecture: kernel functions, Proc. 6th CADE, LNCS 138, 1982, pp. 70–84.Google Scholar
  8. 8.
    McCune W.W. OTTER user's guide, Argonne National Laboratory, December, 1988.Google Scholar
  9. 9.
    Schmerl U.R. Resolution on formula trees. — Acta Informatica, 25(4), 1988, 425–438.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • A. A. Voronkov
    • 1
  1. 1.International Laboratory of Intelligent SystemsUniversitetski Prospekt 4Novosibirsk 90USSR

Personalised recommendations