Marek A. Bednarczyk -  Papers  &  Reports 

Computer Science:

  • Modular system development with pullbacks

    • Marek A. Bednarczyk, Luca Bernardinello, Benoit Caillaud, Wiesław Pawłowski, and Lucia Pomello.
    24th International Conference on Application and Theory of Petri Nets, Eindhoven, LNCS, Springer-Verlag Berlin Heidelberg, to appear, 2003. Also available in pdf format.
     
  • Towards automatic synthesis of concurrent, asynchronous and distributed programs.

    • Marek A. Bednarczyk Annual Report of the Polish Academy of Sciences, 2002,
     
  • Looking for Diamonds

    • Marek A. Bednarczyk and Philippe Darondeau.
    In B. Caillaud et al. (Eds.) ,,Synthesis and Control of Descrete Event Systems'', Kluwer Academic Publishers, 213-221, 2002.
     
  • Generalized Automata and Their Net Representations

    • Eric Badouel, Marek A. Bednarczyk, and Philippe Darondeau.
    In H. Ehrig et al. (Eds.): Unifying Petri Nets, Advances in Petri Nets, LNCS, vol. 2128, pp. 304-345, 2001, ©Springer-Verlag Berlin Heidelberg 2001.
     
  • On Concurrent Realizations of Reactive Systems and Their Morphisms

    • Marek A. Bednarczyk, and Andrzej M. Borzyszkowski.
    In H. Ehrig et al. (Eds.): Unifying Petri Nets, Advances in Petri Nets, LNCS, vol. 2128, pp. 346-379, 2001, ©Springer-Verlag Berlin Heidelberg 2001.
     
  • Finite Completeness of Categories of Petri Nets

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Rafal Somla
    Fundamenta Informaticae, vol. 43, no 1-4, pp. 21-48, 2000. 
     
  • Generalized Congruences - Epimorphisms in CAT

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wiesław Pawłowski
    Theory and Applications of Categories, Vol. 5, No. 11, pp. 266-280, 1999. 
     
  • Concurrent Realizations of Reactive Systems (Extended abstract)

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    Extended abstract in:  M. Hofmann, D. Pavlovic, P. Rosolini eds., Category Theory in Computer Science, 8th Conf., Edinburgh, September 1999. Electronic Notes in Theoretical Computer Science, vol. 29, pp. 1-19, 1999. See also ICS PAS Report #881, July 1999.
     
  • General Morphisms of Petri Nets (Extended abstract)

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    In: J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.), Automata, Languages and Programming, 26th ICALP, Prague, July 1999. LNCS, vol. 1644, pp. 190-199, ©Springer-Verlag, 1999.  Full version available as ICS PAS Report #874, 1999.
     
  • Epimorphic Functors

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wiesław Pawłowski
    ICS PAS Report #864, 1998. 
     
  • Logic of Predicates with Explicit Substitutions

    • Marek A. Bednarczyk.
    In W. Penczek and A. Szalas (Eds.), Mathematical Foundations of Computer Science, 21st Intnl. Symposium, MFCS'96, Cracow, Poland, September 1996, Proceedings. LNCS, vol. 1113, pp.         469-481, ©Springer-Verlag, 1996. 
     
  • Information systems development as mechanizable logical activity

    • Marek A. Bednarczyk. and Tomasz Borzyszkowski
    In S. Wrycza and J. Zupancic (Eds.) Proc. 5th International Conference on Information System Development - ISD'96, Gdansk, pp. 535-544, 1996.
    .
  • A translation of Sokołowski logic to non-commutative Linear Logic

    • Marek A. Bednarczyk.
    In Stefan Sokołowski (Ed.) Partial correctness -- the single assertion approach
    ICS PAS Report #800, 124 pages, January 1996.
     
  • Towards program development, specification and verification with Isabelle

    • Marek A. Bednarczyk and Tomasz Borzyszkowski
    In Stefan Sokołowski (Ed.) Partial correctness -- the single assertion approach
    ICS PAS Report #800, 124 pages, January 1996.
     
  • Sokołowski logic: its semantics, relative soundness and relative completeness

    • Marek A. Bednarczyk.
    In Stefan Sokołowski (Ed.) Partial correctness -- the single assertion approach
    ICS PAS Report #800, 124 pages, January 1996.
     
  • Logic of predicates versus linear logic

    • Marek A. Bednarczyk.
    ICS PAS Report #795, 1995.
     
  • Hereditary History Preserving Bisimulations or What is the Power of the Future Perfect in Program Logics.

    • Marek A. Bednarczyk.
    ICS PAS Report, April 1991. 
     
  • Cpo's do not form a cpo and yet recursion works

    • Marek A. Bednarczyk and Andrzej M. Borzyszkowski
    In S. Prehn and W. J. Toetenel, (Eds.), VDM'91 Formal Software Development Methods, 4th VDM-Europe Symposium, Noordwijkerhout,  LNCS, vol. 551, pp 268-278, ©Springer-Verlag, 1991. 
     
  • Towards the semantics of the definitional language of MetaSoft

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wiesław Pawłowski
    In D. Bjorner, C.A.R. Hoare, and H. Laangmack (Eds.), VDM&Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium, Kiel, LNCS, vol. 428, pp.: 477-503, ©Springer-Verlag, 1990 
     
  • Recursive Definitions Revisited

    • Marek A. Bednarczyk, Andrzej M. Borzyszkowski and Wiesław Pawłowski
    In D. Bjorner, C.A.R. Hoare, and H. Laangmack (Eds.), VDM&Z: Formal Methods in Software Development, 3rd VDM-Europe Symposium, Kiel, LNCS, vol. 428, pp.: 452-476, ©Springer-Verlag, 1990 
     
  • Categories of Asynchronous Systems [gzip'ed PostScript file (507k)]

    • PhD Thesis, University of Sussex, report 1/88, 1988. 
    Also available as ps.Z file (609k), or dvi.gz file (357k), or dvi.Z file (499k). 

    Artificial Intelligence:

  • A Non-monotone Logic for Reasoning about Action

    • Marek A. Bednarczyk.
    In M. A. Kłopotek, S. T. Wierzchoń, M. Michalewicz (eds): Intelligent Information Systems 2002. Advances in Soft Computing, pp.: 287-300, Physica/Springer Verlag, Heidelberg New York, 2002.
     
  • Explicit Substitution into Action. A non-monotone logic for reasoning about actions and change.

    • Marek A. Bednarczyk.
    ICS PAS Report #942, February 2002
     
  • Zbiory rozmyte w teorii lokalizacji wypadków morskich

    • Marek A. Bednarczyk, Michał Holec, Jan Mielniczuk, Jerzy Pyrchla, Marek Przyborski. 
    J.Pyrchla, Rumia, 2002.
     
  • Location of an accident at sea in the SAR system - an attempt at formalizing the problem

    • Marek A. Bednarczyk, Jerzy Pyrchla and Andrzej Stateczny. 
    Scientific Bulletin no 59, pp.: 5-16, Maritime University of Szczecin, 2000.
     
  • Fuzzy Sets to the Rescue

    • Marek A. Bednarczyk and Jerzy Pyrchla. 
    Intelligent Information Systems IX. Proc. of the Workshop held in Bystra, Poland, 12-16 June, pp. 7-15, 2000  
     
  • Zbiory rozmyte w planowaniu poszukiwan morskich (in Polish)

    • Marek A. Bednarczyk and Jerzy Pyrchla. 
    II Sympozjum ,,Nawigacja Zintegrowana'', Szczecin, 25-26 maja 2000,  str. 63-77.
     
  • Problem okreslenia i hierarchizacji czynnikow wplywajacych na dokladnosc obserwacji nawigacyjnych (in Polish)

    • Michał Holec, Marek A. Bednarczyk and Jerzy Pyrchla. 
    XII Miedzynarodowa Konferencja Naukowo-Techniczna ,,Rola Nawigacji w Zabezpieczaniu Działalności Ludzkiej na Morzu'', pp.:199-211, Gdynia, 16-17 listopad 2000 
     
  • An Application of Dynamic AI Metods in the Integration of Computer Credit Scoring Systems

    • Mieczysław A. Kłopotek, Krzysztof Skowroński, A. Jodłowski, Maciej Michalewicz, Marek A. Bednarczyk, and  Wiesław Pawłowski.
    Materia³y IV Krajowej Konferencji Algortytmy Ewolucyjne i Optymalizacja Globalna, str. 293-303, Lądek Zdrój, 5-8 czerwca 2000. Wyd. Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych,
    also Flexible Query Answering System.
    H. Larsen, J. Kasprzyk, S. Zadrożny, T. Andreasen, H. Christiansen (eds): Advances in Soft Computing Series. Physica Verlag/Springer Verlag, Heidelberg New York, pp. 560-569, 2000.
     
  • Nowy standard i narzedzia do reprezentacji sieci bayesowskich (in Polish)

    • Mieczyslaw A. Klopotek, Maciej Michalewicz, Marek A. Bednarczyk, Wiesław Pawłowski  and Slawomir T. Wierzchon
    In J.Tchorzewski (Ed.) Sztuczna Inteligencja. Jej nowe oblicze. Proc. XI Ogolnopolskiego Konwersatorium AI'99, Siedlce 29-30 Sept. 1999. Wyd. Akademia Podlaska. pp.: 189-196.
     
  • Viewing and updating belief networks via World Wide Web

    • Mieczyslaw A. Klopotek, Maciej Michalewicz, Marek A. Bednarczyk, Wiesław Pawłowski  and Slawomir T. Wierzchon. 
    Proc. 8th Intnl. Workshop on Intelligent Information Systems IIS'99 - Ustron, June 14-18, 1999,  IPI PAN, ISBN-83-910948-1-2, pp. 293- 306