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

DOI10.1093/JIGPAL/JZV002zbMATH Open1405.03075OpenAlexW2047256040MaRDI QIDQ4644522

Lito Perez Cruz, John N. Crossley

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzv002

zbMATH Keywords

SMTlogic engineeringlogic of contextontology frameworks

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Agent technology and artificial intelligence (68T42) Combined logics (03B62)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Logics Modulo Theories: a logical framework for multi-agent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644522)