Reasoning about types of action and agent capabilities (Q5176656)
From MaRDI portal
scientific article; zbMATH DE number 6409404
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasoning about types of action and agent capabilities |
scientific article; zbMATH DE number 6409404 |
Statements
Reasoning about types of action and agent capabilities (English)
0 references
27 February 2015
0 references
logic of agency
0 references
agent capabilities
0 references
KARO framework
0 references
reasoning with process types
0 references
web service composition
0 references
converse as backwards possibility
0 references