Agent logics as program logics: Grounding KARO

Koen V. Hindriks*, John Jules Ch Meyer

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Agent logics as program logics: Grounding KARO'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science