Reasoning about types of action and agent capabilities

DOI10.1093/JIGPAL/JZS045zbMath1305.68160OpenAlexW1994289909MaRDI QIDQ5176656

Chrysafis Hartonas

Publication date: 27 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs045

zbMATH Keywords

logic of agencyweb service compositionconverse as backwards possibilityagent capabilitiesKARO frameworkreasoning with process types

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (1)

On the dynamic logic of agency and action

This page was built for publication: Reasoning about types of action and agent capabilities