Adam Meissner

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Reasoning Systems

Knowledge Representation

Top Venues

Vietnam. J. Comput. Sci.

Publications

Adam Meissner
A simple distributed reasoning system for the connection calculus. Vietnam. J. Comput. Sci. 1 (4) (2014)
Adam Meissner
description logic. Int. J. Appl. Math. Comput. Sci. 21 (1) (2011)
Adam Meissner, Grazyna Brzykcy
Reasoning with the Depth-First Iterative Deepening Strategy in the DLog System. OTM Workshops (2011)
Adam Meissner
\mathcal{ALC} Description Logic. ICCCI (2009)
Adam Meissner
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language. SETN (2008)
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. RR (2007)
Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski
Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System. PPAM (2007)
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. EROW (2007)
Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski
Computing an irregularity strength of selected graphs. Electron. Notes Discret. Math. 24 (2006)
Jolanta Cybulka, Adam Meissner, Tadeusz Pankowski
Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications. BIS (2006)
Adam Meissner, Krzysztof Zwierzynski
Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System. PPAM (2005)
Grazyna Brzykcy, Jacek Martinek, Adam Meissner, Piotr Skrzypczynski
Multi-agent blackboard architecture for a mobile robot. IROS (2001)