Logics Modulo Theories: A logical framework for multi-agent systems

Rosalito Cruz, John Newsome Crossley

    Research output: Contribution to journalArticleResearchpeer-review

    Abstract

    Logic; Logic engineering; Logic of context; Ontology frameworks; SMT
    Original languageEnglish
    Pages (from-to)553 - 583
    Number of pages31
    JournalLogic Journal of the IGPL
    Volume23
    Issue number4
    DOIs
    Publication statusPublished - 2015

    Cite this