Towards a Unifying Logical Framework for Neural Networks

Xiyue Zhang, Xiaohong Chen, Meng Sun*

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationTheoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings
    EditorsHelmut Seidl, Zhiming Liu, Corina S. Pasareanu
    PublisherSpringer Science and Business Media Deutschland GmbH
    Pages442-461
    Number of pages20
    ISBN (Print)9783031177149
    DOIs
    Publication statusPublished (VoR) - 2022
    Event19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 - Tbilisi, Georgia
    Duration: 27 Sept 202229 Sept 2022

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume13572 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
    Country/TerritoryGeorgia
    CityTbilisi
    Period27/09/2229/09/22

    Keywords

    • Formal specifications
    • Matching logic
    • Neural networks

    Fingerprint

    Dive into the research topics of 'Towards a Unifying Logical Framework for Neural Networks'. Together they form a unique fingerprint.

    Cite this