scientific article; zbMATH DE number 7361819
From MaRDI portal
Publication:4994892
zbMath1464.68432arXiv1404.0841MaRDI QIDQ4994892
Lan Zhang, Clare Dixon, Ullrich Hustadt, Cláudia Nalon
Publication date: 22 June 2021
Full work available at URL: https://arxiv.org/abs/1404.0841
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cooperative games (91A12) Applications of game theory (91A80) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Agent technology and artificial intelligence (68T42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
Uses Software
This page was built for publication:
