Skip to main navigation Skip to search Skip to main content

Verification within the KARO Agent Theory

  • C. Dixon
  • , M. Fisher
  • , U. Hustadt
  • , J-J.Ch. Meyer
  • , R. Schmidt
  • , W. van der Hoek
  • extern

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

Original languageUndefined/Unknown
Title of host publicationProc. FAPR2000/AgentLink Workshop "Practical Reasoning Agents"
EditorsW. v.d. Hoek, J.-J. Ch. Meyer
Place of PublicationLondon
PublisherImperial College
Publication statusPublished - 2000

Cite this