SIN PP | dr inż. Adam Meissner

System Informacji Naukowej Politechniki Poznańskiej

PL EN

Strona główna / Ludzie / dr inż. Adam Meissner

Pracownik

Wszystkie publikacje

dr inż. Adam Meissner

Jednostka organizacyjna

Wydział Informatyki i Telekomunikacji

Instytut Informatyki

E-mail

adam.meissner@put.poznan.pl

Telefon

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, s. 231-239

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

Artykuł naukowy
3.

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

Artykuł naukowy
4.

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

Artykuł naukowy

Wszystkie ARTYKUŁY

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

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

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

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

Rozdział w monografii naukowej
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 - s. 1096-1103

Referat

Wszystkie ROZDZIAŁY

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

Wszystkie KSIĄŻKI

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

1.

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

Rozprawa doktorska