20072021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2015

    A type-theoretic approach to resolution

    Fu, P. & Komendantskaya, E., 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer International Publishing, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 9527).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • Structural Resolution for Logic Programming

    Johann, P., Komendantskaya, E. & Komendantskiy, V., 2015, Technical Communications of ICLP 2015. De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). CEUR-WS, 13 p. (CEUR Workshop Proceedings; vol. 1433).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    1 Citation (Scopus)
    22 Downloads (Pure)
  • 2013

    ML4PG in Computer Algebra Verification

    Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science; vol. 7961).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    7 Citations (Scopus)
  • Proof-Pattern Recognition and Lemma Discovery in ACL2

    Heras, J., Komendantskaya, E., Johansson, M. & Maclean, E., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Springer, p. 389-406 18 p. (Lecture Notes in Computer Science; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    19 Citations (Scopus)
  • 2012

    Neural Networks for Proof-Pattern Recognition

    Komendantskaya, E. & Lichota, K., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Érdi, P., Masulli, F. & Palm, G. (eds.). Springer, p. 427-434 8 p. (Lecture Notes in Computer Science; vol. 7553).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • 2011

    Coalgebraic Derivations in Logic Programming

    Komendantskaya, E. & Power, J., 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 352-366 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    12 Citations (Scopus)
    14 Downloads (Pure)
  • Coalgebraic Semantics for Derivations in Logic Programming

    Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Springer, p. 268-282 15 p. (Lecture Notes in Computer Science; vol. 6859).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    15 Citations (Scopus)
  • Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

    Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Springer, p. 111-127 17 p. (Lecture Notes in Computer Science; vol. 6486).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    11 Citations (Scopus)
  • 2010

    Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

    Komendantskaya, E., Broda, K. & Garcez, A. DA., 2010, Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Diamantaras, K., Duch, W. & Iliadis, L. S. (eds.). Springer, p. 301-304 4 p. (Lecture Notes in Computer Science; vol. 6352).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • 2009

    Neurons or Symbols: Why does OR Remain Exclusive?

    Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 502-507 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Parallel Rewriting in Neural Networks

    Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 452-458 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Using structural recursion for corecursion

    Bertot, Y. & Komendantskaya, E., 2009, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berardi, S., Damiani, F. & de’Liguoro, U. (eds.). Springer, p. 220-236 17 p. (Lecture Notes in Computer Science; vol. 5497).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)
  • 2008

    Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

    Komendantskaya, E. & Power, J., 2008, Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Hölldobler, S., Lutz, C. & Wansing, H. (eds.). Springer, p. 258-271 14 p. (Lecture Notes in Computer Science; vol. 5293).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)
  • 2007

    Connectionist Representation of Multi-Valued Logic Programs

    Komendantskaya, E., Lane, M. & Seda, A. K., 2007, Perspectives of Neural-Symbolic Integration. Hammer, B. & Hitzler, P. (eds.). Springer, p. 283-313 31 p. (Studies in Computational Intelligence; vol. 77).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    6 Citations (Scopus)