ACTIVEMATH: An intelligent tutoring system for mathematicsMELIS, Erica; SIEKMANN, Jörg.Lecture notes in computer science. 2004, pp 91-101, issn 0302-9743, isbn 3-540-22123-9, 11 p.Conference Paper

Proof planning with multiple strategiesMELIS, Erica; MEIER, Andreas; SIEKMANN, Jörg et al.Artificial intelligence. 2008, Vol 172, Num 6-7, pp 656-684, issn 0004-3702, 29 p.Article

Artificial intelligence and soft computing (Zakopane, 7-11 June 2004)Rutkowski, Leszek; Siekmann, Jörg; Tadeusiewicz, Ryszard et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22123-9, XXV, 1208 p, isbn 3-540-22123-9Conference Proceedings

Reductio ad Absurdum : Planning Proofs by ContradictionMELIS, Erica; POLLET, Martin; SIEKMANN, Jorg et al.Reasoning, action and interaction in AI theories and systems (essays dedicated to Luigia Carlucci Aiello). Lecture notes in computer science. 2006, pp 45-58, issn 0302-9743, isbn 3-540-37901-0, 1Vol, 14 p.Book Chapter

ΩMEGA: Computer supported mathematicsSIEKMANN, Jörg; BENZMÜLLER, Christoph.Lecture notes in computer science. 2004, pp 3-28, issn 0302-9743, isbn 3-540-23166-8, 26 p.Conference Paper

Design and optimization of combinational digital circuits using modified evolutionary algorithmSLOWIK, Adam; BIALKO, Michal.Lecture notes in computer science. 2004, pp 468-473, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Flock-based architecture for distributed evolutionary algorithmsKISIEL-DOROHINICKI, Marek.Lecture notes in computer science. 2004, pp 841-846, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Local pattern-based interval modelsCHOLEWA, Wojciech.Lecture notes in computer science. 2004, pp 948-953, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

One day prediction of NIKKEI index considering information from other stock marketsJARUSZEWICZ, Marcin; MANDZIUK, Jacek.Lecture notes in computer science. 2004, pp 1130-1135, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Optimization of centers' positions for RBF nets with generalized kernelsRAFAJLOWICZ, E; PAWLAK, M.Lecture notes in computer science. 2004, pp 253-259, issn 0302-9743, isbn 3-540-22123-9, 7 p.Conference Paper

Neuro-fuzzy relational classifiersSCHERER, Rafal; RUTKOWSKI, Leszek.Lecture notes in computer science. 2004, pp 376-380, issn 0302-9743, isbn 3-540-22123-9, 5 p.Conference Paper

Modified version of roulette selection for evolution algorithmS: The fan selectionSLOWIK, Adam; BIALKO, Michal.Lecture notes in computer science. 2004, pp 474-479, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

A new fuzzy clustering method with constraints in time domainLESKI, Jacek; OWCZAREK, Aleksander.Lecture notes in computer science. 2004, pp 640-645, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Cursive-character script recognition using Toeplitz model and neural networksSAEED, Khalid; TABEDZKI, Marek.Lecture notes in computer science. 2004, pp 658-663, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Comparison of reasoning methods for fuzzy controlBUTKIEWICZ, Bohdan.Lecture notes in computer science. 2004, pp 278-283, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Probability distribution of solution time in ANN training using population learning algorithmCZARNOWSKI, Ireneusz; JEDRZEJOWICZ, Piotr.Lecture notes in computer science. 2004, pp 172-177, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Rainfall-runoff modelling using three neural network methodsCIGIZOGLU, H. Kerem; ALP, Murat.Lecture notes in computer science. 2004, pp 166-171, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Requirements and solutions for web-based expert systemGRZENDA, Maciej; NIEMCZAK, Marcin.Lecture notes in computer science. 2004, pp 866-871, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Short-time signal analysis using pattern recognition methodsBOGUS, Piotr; LEWANDOWSKA, Katarzyna D.Lecture notes in computer science. 2004, pp 550-555, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

The study of hierarchy importance of descriptive attributes in computer assisted classification of melanocytic skin lesionsSOKOŁOWSKI, Aleksander; DEREN, Alicja.Lecture notes in computer science. 2004, pp 1050-1055, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Translation STRIPS planning in multi-robot environment to linear programmingGALUSZKA, Adam; SWIERNIAK, Andrzej.Lecture notes in computer science. 2004, pp 768-773, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

Visualization of hidden node activity in neural networks: I. Visualization methodsDUCH, Włodzisław.Lecture notes in computer science. 2004, pp 38-43, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

What differs interval type-2 FLS from type-1 FLS?STARCZEWSKI, Janusz T.Lecture notes in computer science. 2004, pp 381-387, issn 0302-9743, isbn 3-540-22123-9, 7 p.Conference Paper

Global identification of complex systems with cascade structureSWIATEK, Jerzy.Lecture notes in computer science. 2004, pp 990-995, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper

An unsupervised cluster analysis and information about the modelling systemREJER, Izabela.Lecture notes in computer science. 2004, pp 652-657, issn 0302-9743, isbn 3-540-22123-9, 6 p.Conference Paper