Computational Logic in Artificial Neural Networks

  • Dyckhoff, Roy (PI)

Project: Fellowship

Project Details

AcronymFellowship CLANN EP/F044046/1
StatusFinished
Effective start/end date1/10/0830/09/11

Funding

  • EPSRC: £117,577.16

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • 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.). Berlin, Heidelberg: Springer, p. 427-434 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Coalgebraic semantics for derivations in logic programming

    Komendantskaya, E. & Power, J., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6859 LNCS. p. 268-282 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

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

    18 Citations (Scopus)
  • Coalgebraic semantics for parallel derivation strategies in logic programming

    Komendantskaya, E., McCusker, G. & Power, J., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6486 LNCS. p. 111-127 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6486 LNCS).

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

    14 Citations (Scopus)