Michael Winikoff

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Why bad coffee? Explaining BDI agent behaviour with valuings Artificial Intelligence	2021-11-02	Paper
On the testability of BDI agent systems The Journal of Artificial Intelligence Research (JAIR)	2014-09-30	Paper
Language design issues for agents based on linear logic (extended abstract)	2013-08-20	Paper
Verifying social expectations by model checking truncated paths Journal Of Logic And Computation	2011-12-19	Paper
Assurance of agent systems: what role should formal verification play? Specification and Verification of Multi-agent Systems	2010-11-11	Paper
Debugging and testing of multi-agent systems using design artefacts Multi-Agent Programming	2010-01-11	Paper
scientific article; zbMATH DE number 2209427 (Why is no real title available?)	2005-09-28	Paper
Agents via mixed-mode computation in linear logic Annals of Mathematics and Artificial Intelligence	2005-01-17	Paper
scientific article; zbMATH DE number 2084421 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1950660 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1950662 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1696800 (Why is no real title available?)	2002-01-28	Paper
Forward and backward chaining in linear logic. (Extended abstract)	2001-05-07	Paper

Research outcomes over time

This page was built for person: Michael Winikoff