research
∙
07/17/2023
Abductive Reasoning with the GPT-4 Language Model: Case studies from criminal investigation, medical practice, scientific research
This study evaluates the GPT-4 Large Language Model's abductive reasonin...
share
research
∙
04/07/2022
Variants in managing supply chains on distributed ledgers
Smart contracts show a high potential for ensuring that Supply Chain Man...
research
∙
09/30/2021
A formal model for ledger management systems based on contracts and temporal logic
A key component of blockchain technology is the ledger, viz., a database...
research
∙
08/27/2021
Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading
The successes of Artificial Intelligence in recent years in areas such a...
research
∙
07/23/2020