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.

Monografia naukowa / rozprawa habilitacyjna

2.

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

Artykuł naukowy

3.

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 - s. 413-424

Referat

4.

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 - s. 75-80

Referat

5.

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 - s. 169-174

Referat

6.

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 - s. 149-164

Rozdział w monografii naukowej

7.

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 - s. 1096-1103

Referat

8.

Introducing parallel computations to a PTTP-based first-order reasoning process in the Oz language / Adam Meissner (WE) // W: Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008 : proceedings, Syros, Greece, October 2-4, 2008 / red. John Darzentas - Berlin, Germany , 2008 - s. 359-364

Referat

9.

A simple tableau-based parallel reasoning system for first-order logic / Adam Meissner (WE) // W: Proceedings of CMS'07 : Computer Methods and Systems / red. Ryszard Tadeusiewicz, 2007 - s. 47-52

Referat

10.

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, s. 137-144

Artykuł naukowy

11.

Schema- and ontology- based XML data exchange in semantic e-business applications / Jolanta Cybulka (WE), Adam Meissner (WE), Tadeusz Pankowski (WE) // W: Business Information Systems : 9th International Conference on Business Information Systems, BIS 2006, May 31 - June 2, 2006 / red. Witold Abramowicz - Bonn, Germany , 2006 - s. 429-441

Referat

12.

Vertex-magic total labeling of a graph by distributed constraint solving in the Mozart system / Adam Meissner (WE), Krzysztof Zwierzyński (WE) // W: Parallel Processing and Applied Mathematics : 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers / red. Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Waśniewski - Berlin, Germany Heidelberg, Germany : Springer, 2006 - s. 952-959

Referat

13.

A parallelisation of an inference process for description logics with ALC language / Grażyna Brzykcy (WE), Adam Meissner (WE) // W: Computer Methods and Systems : V konferencja Metody i systemy komputerowe : CMOS'05: AGH University of Science and Technology Press, 2005 - s. 271-280

Referat

14.

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

Artykuł naukowy

15.

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

Artykuł naukowy

16.

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, s. 851-866

Artykuł naukowy

17.

Control aspects of the blackboard agent architecture for mobile robot / Grażyna Brzykcy, Jacek Martinek, Adam Meissner, Piotr Skrzypczyński // W: 10 International Conference on System Modelling Control SMC : Proceedings, Zakopane, 21-25 maj 2001 - Vol. 1 - Łódź, Polska : Politechnika Łódzka, 2001 - s. 89-94

Referat

18.

System wnioskowania robota o scenie z prostymi obiektami geometrycznymi / Grażyna Brzykcy (WE), Jacek Martinek (WE), Adam Meissner (WE), Piotr Skrzypczyński (WE) // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III Krajowa Konferencja : materiały konferencyjne, Kraków, 19-21 listopada 2001 / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat - Kraków, Polska : Oprogramowanie Naukowo-Techniczne, 2001 - s. 193-198

Referat