Bibliography
“Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory”, in Proceedings of the 18th International Conference on Soft Computing, Brno, Czech Republic, 2012, pp. 320–325.
, “Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction”, ACM Transactions on Computational Logic, vol. 18, no. 2, pp. 8:1–8:27, 2017.
, “Identifying efficient abductive hypotheses using multi-criteria dominance relation”, ACM Transactions on Computational Logic, vol. 15, no. 4, pp. 28:1–28:20, 2014.
, “Implementation and Simulation of the Scalar Timing Model”, Bio-Algorithms and Med-Systems, vol. 7, no. 4, pp. 41–52, 2011.
, “Postrzeganie czasu przez człowieka: specyfika, modele i symulacje”, Anestezjologia i Ratownictwo, vol. 7, pp. 113–124, 2013.
, “Time-order error and scalar variance in a computational model of human timing: simulations and predictions”, Computational Cognitive Science, vol. 1, no. 1, pp. 1–24, 2015.
, “Evolutionary construction of derivations in classical propositional logic using a symbolic-connectionist representation”, Poznan University of Technology, Institute of Computing Science, RA–3/17, 2017.
, “Models and implementations of timing processes using Artificial Life techniques”, Poznan University of Technology, Institute of Computing Science, RA-05/09, 2009.
,