Open AccessVerification of Relational Multiagent Systems with Data Types
Author(s) -
Diego Calvanese,
Marco Montali,
Giorgio Delzanno
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9438
Subject(s) - decidability , bounded function , successor cardinal , computer science , domain (mathematical analysis) , focus (optics) , abstraction , state (computer science) , theoretical computer science , type (biology) , extension (predicate logic) , finite state machine , relational database , relation (database) , algorithm , programming language , mathematics , database , mathematical analysis , ecology , philosophy , physics , epistemology , optics , biology