M. Kacprzak

Available identifiers

Publication	Date of Publication	Type
Towards encoding of the transition relation in dialogue games model checking	2019-05-24	Paper
Two approaches to fuzzy implication	2018-10-02	Paper
Towards verification of dialogue protocols: a mathematical model	2016-06-17	Paper
Identification of formal fallacies in a natural dialogue	2015-06-26	Paper
Proving propositional tautologies in a natural dialogue	2014-04-25	Paper
On lattice structure and implications on ordered fuzzy numbers	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	2011-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q5192924	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
https://portal.mardi4nfdi.de/entity/Q5486061	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	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4681373	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4461957	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4547958	2002-08-21	Paper

This page was built for person: M. Kacprzak