Michael Winikoff

From MaRDI portal
Person:702107

Available identifiers

zbMath Open winikoff.michaelMaRDI QIDQ702107

List of research outcomes





PublicationDate of PublicationType
Why bad coffee? Explaining BDI agent behaviour with valuings2021-11-02Paper
On the testability of BDI agent systems2014-09-30Paper
Language design issues for agents based on linear logic (extended abstract)2013-08-20Paper
Verifying social expectations by model checking truncated paths2011-12-19Paper
Assurance of Agent Systems: What Role Should Formal Verification Play?2010-11-11Paper
Debugging and Testing of Multi-Agent Systems using Design Artefacts2010-01-11Paper
https://portal.mardi4nfdi.de/entity/Q56924052005-09-28Paper
Agents via mixed-mode computation in linear logic2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q44751942004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44133872003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q44133912003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q27670582002-01-28Paper
Forward and backward chaining in linear logic. (Extended abstract)2001-05-07Paper

Research outcomes over time

This page was built for person: Michael Winikoff

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:702107&oldid=6967779"
Powered by MediaWiki