@article {Chlebowski-et-al-2017,
	title = {Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction},
	journal = {ACM Transactions on Computational Logic},
	volume = {18},
	number = {2},
	year = {2017},
	pages = {8:1{\textendash}8:27},
	publisher = {ACM},
	address = {New York},
	abstract = {This paper concerns automated generation and processing of erotetic search scenarios (ESSs). ESSs are formal constructs characterized in Inferential Erotetic Logic that enable finding possible answers to a posed question by decomposing it into auxiliary questions. The first part of this work describes a formal account on ESSs. The formal approach is then applied to automatically generate ESSs, and the resulting scenarios are evaluated according to a number of criteria. These criteria are subjected to discordance analysis that reveals their mutual relationships. Finally, knowledge concerning relationships between different values of evaluation criteria is extracted by applying Apriori - an association rules mining algorithm. The proposed approach of integration of formal erotetic logic with computational tools provides an extensive insight into the former and helps with the development of efficient ESSs.},
	keywords = {knowledge extraction, Logic of questions, multicriteria analysis, optimal erotetic scenario, rule mining},
	issn = {1529-3785},
	doi = {10.1145/3056537},
	url = {http://www.cs.put.poznan.pl/mkomosinski/research/automated-erotetic-search-scenarios.pdf},
	author = {Chlebowski, Szymon and Maciej Komosinski and Adam Kups}
}
@article {Komosinski-and-Kups-2017r,
	title = {Evolutionary construction of derivations in classical propositional logic using a symbolic-connectionist representation},
	number = {RA{\textendash}3/17},
	year = {2017},
	institution = {Poznan University of Technology, Institute of Computing Science},
	type = {Research report},
	abstract = {This report introduces a way derivations in classical propositional logic can be constructed using evolutionary algorithms. The derivations are represented by connectionist systems. There are three kinds of nodes constituting these systems: formula nodes that generate signal in the form of strings of symbols, "modus ponens" nodes that transform incoming signal according to the "modus ponens" rule, and substitution nodes that transform incoming signal by applying the substitution rule. This work presents initial research on an approach that is a part of our quest for efficient construction of derivations using various logics and constrained in various ways. The final part of this report outlines limitations encountered in our initial experiments and the ways the proposed approach can be improved.},
	url = {http://www.framsticks.com/files/common/EvolutionOfDerivationsInLogic.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@article {Komosinski-and-Kups-2015,
	title = {Time-order error and scalar variance in a computational model of human timing: simulations and predictions},
	journal = {Computational Cognitive Science},
	volume = {1},
	number = {3},
	year = {2015},
	pages = {1{\textendash}24},
	publisher = {Springer},
	abstract = {This work introduces a computational model of human temporal discrimination mechanism - the Clock-Counter Timing Network. It is an artificial neural network implementation of a timing mechanism based on the informational architecture of the popular Scalar Timing Model. The model has been simulated in a virtual environment enabling computational experiments which imitate a temporal discrimination task - the two-alternative forced choice task. The influence of key parameters of the model (including the internal pacemaker speed and the variability of memory translation) on the network accuracy and the time-order error phenomenon has been evaluated. The results of simulations reveal how activities of different modules contribute to the overall performance of the model. These results can be compared and verified in empirical experiments with human participants, especially when the modes of activity of the internal timing mechanism are changed because of some external conditions, or are impaired due to some kind of a neural degradation process.},
	doi = {10.1186/s40469-015-0002-0},
	url = {http://dx.doi.org/10.1186/s40469-015-0002-0},
	author = {Maciej Komosinski and Adam Kups}
}
@article {Komosinski-et-al-2014,
	title = {Identifying efficient abductive hypotheses using multi-criteria dominance relation},
	journal = {ACM Transactions on Computational Logic},
	volume = {15},
	number = {4},
	year = {2014},
	pages = {28:1{\textendash}28:20},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	abstract = {In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research, where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the Synthetic Tableau Method. Before the evaluation, the set of hypotheses has undergone several reduction phases. To assess usefulness of abductive hypotheses in the reduced set, several criteria have been employed. The evaluation of efficiency of the hypotheses has been provided by the multi-criteria dominance relation. To comprehend the abductive procedure and the evaluation process more extensively, analyses have been conducted on a number of artificially generated abductive problems.},
	doi = {10.1145/2629669},
	url = {http://www.framsticks.com/files/common/IdentifyingEfficientAbductiveHypotheses.pdf},
	author = {Maciej Komosinski and Adam Kups and Dorota Leszczy{\'n}ska-Jasion and Mariusz Urba{\'n}ski}
}
@article {Komosinski-and-Kups-2013,
	title = {Postrzeganie czasu przez cz{\l}owieka: specyfika, modele i symulacje},
	journal = {Anestezjologia i Ratownictwo},
	volume = {7},
	year = {2013},
	pages = {113{\textendash}124},
	publisher = {Akademia Medycyny},
	abstract = {Niniejszy artyku{\l} po{\'s}wi{\k e}cony jest zagadnieniu postrzegania czasu trwania zdarze{\'n} (ang. timing) przez cz{\l}owieka. Zarysowano w nim bie{\.z}{\k a}cy stan wiedzy zwracaj{\k a}c uwag{\k e} na niedostatek modeli obejmuj{\k a}cych szeroki zakres dziedzin, w kt{\'o}rych prowadzi si{\k e} badania postrzegania czasu. Przedstawiono przyk{\l}adow{\k a} implementacj{\k e} popularnego modelu typu zegar-licznik w {\'s}rodowisku sztucznych sieci neuronowych. Opisano zjawisko "b{\l}{\k e}du porz{\k a}dku czasowego" oraz pokazano, jak zaproponowana sztuczna sie{\'c} neuronowa mo{\.z}e na{\'s}ladowa{\'c} zachowanie cz{\l}owieka pope{\l}niaj{\k a}c podobne b{\l}{\k e}dy w zale{\.z}no{\'s}ci od parametr{\'o}w opisuj{\k a}cych dzia{\l}anie jej element{\'o}w sk{\l}adowych. Artyku{\l} omawia te{\.z} rol{\k e} technik symulacyjnych oraz metod sztucznej inteligencji i sztucznego {\.z}ycia w budowaniu dzia{\l}aj{\k a}cych i weryfikowalnych modeli niepoznanych jeszcze proces{\'o}w i zjawisk biologicznych, kt{\'o}rych przyk{\l}adem jest postrzeganie czasu.},
	keywords = {b{\l}{\k a}d porz{\k a}dku czasowego, postrzeganie up{\l}ywu czasu, sie{\'c} neuronowa, symulacja, TOE},
	url = {http://www.akademiamedycyny.pl/wp-content/uploads/2016/05/201301_AiR_013.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@conference {Komosinski-et-al-2012,
	title = {Multi-criteria evaluation of abductive hypotheses: towards efficient optimization in proof theory},
	booktitle = {Proceedings of the 18th International Conference on Soft Computing},
	year = {2012},
	pages = {320{\textendash}325},
	address = {Brno, Czech Republic},
	abstract = {Research described in this paper aims at implementation of an abductive procedure based on the Synthetic Tableaux Method. This problem concerns a two-stage process of generation and evaluation of abductive hypotheses. While generation of the abductive hypotheses is achieved here by the implementation of the rules provided with a logical apparatus, their evaluation is performed using traditional measures and optimization techniques such as Pareto optimality and fitness{\textendash}distance analysis. By combining tools known in proof theory and in Artificial Intelligence, we explore the intriguing problem of interpretative reasoning.},
	author = {Maciej Komosinski and Adam Kups and Mariusz Urbanski}
}
@article {100,
	title = {Implementation and Simulation of the Scalar Timing Model},
	journal = {Bio-Algorithms and Med-Systems},
	volume = {7},
	year = {2011},
	pages = {41{\textendash}52},
	url = {https://bit.wl.cm.uj.edu.pl/cm/uploads/2021/02/bams7_4.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
@article {Komosinski-and-Kups-2009r,
	title = {Models and implementations of timing processes using Artificial Life techniques},
	number = {RA-05/09},
	year = {2009},
	institution = {Poznan University of Technology, Institute of Computing Science},
	type = {Research report},
	abstract = {This work presents implementation of the Scalar Timing Model (STM) in the neural networks environment. STM is rather popular and commonly used model in the perception of time intervals in humans and animals fields of study. Currently many experiments are conducted in order to verify and research STM parameters and attributes. One of the goal of the implementation was to check whether theoretical model will cope with constraints of artificial neural networks. During implementation process it turned out, that scheme of the model should be revised (by adding extra components) in order to maintain it{\textquoteright}s functional adequacy. Another case was to check how does manipulations of certain parameters will influence collected representation of the real time within model. In this preliminary research we focus on the pacemaker module. Conclusion of this research is that appropriate choice of distribution form of impulses generated by pacemaker make it simulation of the model more congruent with the experimentally collected data then with formal assumptions of STM.},
	url = {http://www.framsticks.com/files/common/HumanTimingModelsSimulations.pdf},
	author = {Maciej Komosinski and Adam Kups}
}
