No photo of Anatoli Degtiarev

Anatoli Degtiarev

Dr

  • 157
    Citations

Personal profile

Research interests

Automated reasoning, logic in computer science.

Fingerprint

Dive into the research topics where Anatoli Degtiarev is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Monodic temporal resolution

    Degtyarev, A., Fisher, M. & Konev, B., 2006, In: ACM Transactions on Computational Logic. 7, 1, p. 108 - 150 43 p.

    Research output: Contribution to journalArticlepeer-review

    35 Citations (Scopus)
  • On Arbitrary Selection Strategies for Basic Superposition

    Aleksic, V. & Degtyarev, A., 2006, Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings. Springer Berlin Heidelberg, p. 20 - 28 9 p. (Lecture Notes in Computer Science; vol. 4160).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  • Mechanising First-Order Temporal Resolution

    Konev, B., Degtyarev, A., Dixon, C., Fisher, M. & Hustadt, U., 25 May 2005, In: INFORMATION AND COMPUTATION. 199, 1-2, p. 55 - 86 32 p.

    Research output: Contribution to journalArticlepeer-review

    27 Citations (Scopus)
  • Regular Derivations in Basic Superposition-Based Calculi

    Aleksic, V., Degtyarev, A., Sutcliffe, G. (ed.) & Voronkov, A. (ed.), 2005, Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings. Springer, p. 292-306 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  • Handling Equality in Monodic Temporal Resolution

    Konev, B., Degtyarev, A. & Fisher, M., 2003, Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings. Vardi, M. Y. & Voronkov, A. (eds.). Springer Berlin Heidelberg, p. 214 - 228 15 p. (Lecture Notes in Computer Science; vol. 2850).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    Open Access
    File
    7 Citations (Scopus)
    162 Downloads (Pure)