On programming KARO agents

DOI10.1093/JIGPAL/9.2.245zbMath0974.68202OpenAlexW2030807572MaRDI QIDQ2716927

Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer, Frank S. de Boer

Publication date: 16 May 2001

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

Full work available at URL: https://semanticscholar.org/paper/b9b14ec93de1208a2b9a26b4b0af41eb3b93e8e6

zbMATH Keywords

intelligent agentsKARO logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

An internal version of epistemic logic ⋮ A logical formalization of the OCC theory of emotions

Uses Software

• KARO

This page was built for publication: On programming KARO agents