No Cover Image

Conference Paper/Proceeding/Abstract 591 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 Orcid Logo

IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence

Swansea University Author: Hoang Nguyen Orcid Logo

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
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: https://dl.acm.org/doi/10.5555/2832415.2832457
College: Faculty of Science and Engineering