Open AccessVerifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment
Author(s) -
Francesco Belardinelli,
Vadim Malvone
Publication year - 2020
Publication title -
frontiers in artificial intelligence and applications
Language(s) - Uncategorized
Resource type - Book series
eISSN - 1879-8314
pISSN - 0922-6389
DOI - 10.3233/faia200072
Subject(s) - computer science , logical consequence , liveness , translation (biology) , fragment (logic) , model checking , artificial intelligence , programming language , natural language processing , biology , biochemistry , messenger rna , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom