Open AccessVerification of Agent-Based Artifact Systems
Author(s) -
Francesco Belardinelli,
Alessio Lomuscio,
Fabio Patrizi
Publication year - 2014
Publication title -
journal of artificial intelligence research
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.79
H-Index - 123
eISSN - 1943-5037
pISSN - 1076-9757
DOI - 10.1613/jair.4424
Subject(s) - artifact (error) , computer science , undecidable problem , model checking , theoretical computer science , process (computing) , context (archaeology) , semantics (computer science) , programming language , class (philosophy) , artificial intelligence , decidability , paleontology , biology
09.12.14 KB. OK to add published version to spiral, AAAI /JAIR polic
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