SIS PUT | dr inż. Adam Meissner

Scientific Information System of the Poznań University of Technology

PL EN

Main page / People / dr inż. Adam Meissner

Employee

All publications

dr inż. Adam Meissner

Organizational unit

Wydział Informatyki i Telekomunikacji

Instytut Informatyki

E-mail

adam.meissner@put.poznan.pl

Telephone

61 665 37 24

ORCID

0000-0001-9202-7507

WoS ResearcherID

G-4177-2014

1.

A simple distributed reasoning system for the connection calculus / Adam Meissner (WE) // Vietnam Journal of Computer Science - 2014, vol. 1, no. 4, p. 231-239

Scientific article
2.

Computing an irregularity strength of selected graphs / Adam Meissner (WE), Magdalena Niwińska (WE), Krzysztof T. Zwierzyński (WE) // Electronic Notes in Discrete Mathematics - 2006, vol. 24, p. 137-144

Scientific article
3.

Automatyczne wnioskowanie w wybranych logikach deskrypcyjnych / Adam Meissner (WE) // Pro Dialog - 2004, nr 18, p. 84-95

Scientific article
4.

System automatycznej dedukcji dla logiki deskrypcyjnej z językiem ALCN / Adam Meissner (WE) // Studia z Automatyki i Informatyki - 2004, t. 28/29, p. 91-110

Scientific article
5.

Control aspects of the blackboard agent architecture for a mobile robot / Grażyna Brzykcy (WE), Jacek Martinek (WE), Adam Meissner (WE), Piotr Skrzypczyński (WE) // Control and Cybernetics - 2003, vol. 32, no. 4, p. 851-866

Scientific article

All ARTICLES

1.

A simple parallel reasoning system for the ALC description logic / Adam Meissner (WE) // W: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems : 1st International Conference : ICCCI 2009, Wrocław, Poland, October 5-7, 2009 / red. Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen - Berlin, Germany Heidelberg, Germany : Springer International Publishing, 2009 - p. 413-424

Paper
2.

Introducing parsimonius rules to a parallel reasoning system for the ALC description logic / Adam Meissner (WE) // W: Proceedings of CMS'09 : Computer Methods and Systems / red. Ryszard Tadeusiewicz, A. Ligęza, W. Mitkowski, M. Szymkat, 2009 - p. 75-80

Paper
3.

Semantic integration of XML data in P2P environment / Tadeusz Pankowski (WE), Jerzy Bartoszek (WE), Grażyna Brzykcy (WE), Jolanta Cybulka (WE), Beata Jankowska (WE), Adam Meissner (WE), Magdalena Niwińska (WE) // W: Proceedings of CMS'09 : Computer Methods and Systems / red. Ryszard Tadeusiewicz, A. Ligęza, W. Mitkowski, M. Szymkat, 2009 - p. 169-174

Paper
4.

A parallel deduction for description logics with ALC language / Adam Meissner (WE), Grażyna Brzykcy (WE) // W: Knowledge-driven computing : knowledge engineering and intelligent computations / red. Carlos Cotta, Simeon Reich, Robert Schaefer, Antoni Ligęza: Springer, 2008 - p. 149-164

Chapter in monograph
5.

Computing the irregularity strength of connected graphs by parallel constraints solving in the Mozart system / Adam Meissner (WE), Magdalena Niwińska (WE), Krzysztof Zwierzyński (WE) // W: Parallel processing and applied mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 2007. Revised selected papers / red. Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski - Berlin, Germany Heidelberg, Germany : Springer, 2008 - p. 1096-1103

Paper

All CHAPTERS

1.

Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu / Adam Meissner (WE) / Poznan, Poland : Wydawnictwo Politechniki Poznańskiej, Rozprawy / Politechnika Poznańska, 2016 - 204 s.

Scientific monograph / habilitation

All BOOKS

1.

Konstruowanie systemów wnioskujących klasy Lean dla logiki pierwszego rzędu / Adam Meissner (WE) / Poznan, Poland : Wydawnictwo Politechniki Poznańskiej, Rozprawy / Politechnika Poznańska, 2016 - 204 s.

Scientific monograph / habilitation

1.

System bazy wiedzy z algorytmami wnioskowania wykorzystującymi dedukcję częściową / Adam Meissner / prom. Krystyna T. Balińska, rev. Antoni Ligęza, Roman Słowiński - Poznań, Polska, 1999 - 84 s.

Dissertation

1.

Analiza porównawcza wybranych programów rozwiązujących problem spełnialności / WIiT / prom. Adam Meissner, rev. Rafał Różycki, 2024

Master thesis
2.

Badanie wydajności środowiska do programowania ograniczeń MiniZinc IDE za pomocą problemów kolorowania grafów / WIiT / prom. Adam Meissner, rev. Rafał Różycki, 2023

Master thesis
3.

Analiza porównawcza wybranych narzędzi do tworzenia aplikacji internetowych w języku Python / WIiT / prom. Adam Meissner, rev. Tadeusz Pankowski, 2022

Master thesis
4.

Urządzenie do automatycznego parzenia herbaty obsługiwane przez aplikację internetową / WIiT / prom. Adam Meissner, rev. Krzysztof Zwierzyński, 2022

Engineering thesis
5.

Aplikacja internetowa wspomagająca dobieranie współlokatorów / WIiT / prom. Adam Meissner, rev. Krzysztof Zwierzyński, 2021

Engineering thesis

All THESES

1.

System informatyczny wspomagający pracę dziekanatu w zakresie planowania i organizacji zajęć / WIiT / prom. Krzysztof Zwierzyński, rev. Adam Meissner, 2022

Engineering thesis
2.

System wyszukiwania i rezerwacji obiektów sportowych "sportaround.pl" / WIiT / prom. Krzysztof Zwierzyński, rev. Adam Meissner, 2021

Engineering thesis
3.

Serwis internetowy o obiektach i trasach turystycznych / WIiT / prom. Tadeusz Pankowski, rev. Adam Meissner, 2021

Engineering thesis
4.

A mobile application for rating products / WE / prom. Jerzy Bartoszek, rev. Adam Meissner, 2019

Engineering thesis
5.

Komunikator internetowy zrealizowany w technologii WebSocket / WE / prom. Jerzy Bartoszek, rev. Adam Meissner, 2019

Engineering thesis

All THESES

System created by Poznań University of Technology and Poznan Supercomputing and Networking Center

Scientific Information System of the Poznań University of Technology

Employee

dr inż. Adam Meissner

Articles (5)

Chapters (12)

Books (1)

Habilitation

Dissertation

Supervisor of theses (27)

Reviews of theses (31)