M. Kacprzak

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
Towards encoding of the transition relation in dialogue games model checking Fundamenta Informaticae	2019-05-24	Paper
Two approaches to fuzzy implication Theory and Applications of Ordered Fuzzy Numbers	2018-10-02	Paper
Towards verification of dialogue protocols: a mathematical model Artificial Intelligence and Soft Computing	2016-06-17	Paper
Identification of formal fallacies in a natural dialogue Fundamenta Informaticae	2015-06-26	Paper
Proving propositional tautologies in a natural dialogue Fundamenta Informaticae	2014-04-25	Paper
On lattice structure and implications on ordered fuzzy numbers Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011)	2013-01-15	Paper
Logical model of graded beliefs for a persuasion theory	2013-01-14	Paper
Update of Probabilistic Beliefs: Implementation and Parametric Verification Fundamenta Informaticae	2011-06-14	Paper
scientific article; zbMATH DE number 5593263 (Why is no real title available?)	2009-08-10	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
A logic for reasoning about persuasion	2009-01-28	Paper
Verification of temporal properties of nondeterministic algorithms	2008-11-21	Paper
scientific article; zbMATH DE number 5051652 (Why is no real title available?)	2006-09-06	Paper
A strong completeness result for a MAS logic	2006-09-06	Paper
A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic Synthese	2005-08-22	Paper
scientific article; zbMATH DE number 2182497 (Why is no real title available?)	2005-06-23	Paper
scientific article; zbMATH DE number 2064466 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1786650 (Why is no real title available?)	2002-08-21	Paper

Research outcomes over time

This page was built for person: M. Kacprzak