Conference Paper/Proceeding/Abstract 1113 views
On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic
Natasha Alechina,
Nils Bulling,
Brian Logan,
Hoang Nguyen 
IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence
Swansea University Author:
Hoang Nguyen
Abstract
On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic
| Published in: | IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence |
|---|---|
| ISBN: | 978-1-57735-738-4 |
| Published: |
AAAI Press
2015
|
| Online Access: |
https://dl.acm.org/doi/10.5555/2832415.2832457 |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa61990 |
| Item Description: |
https://dl.acm.org/doi/10.5555/2832415.2832457 |
|---|---|
| College: |
Faculty of Science and Engineering |