@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 {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}
}
