Adam Meissner

According to our database, Adam Meissner authored at least 12 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2014

A simple distributed reasoning system for the connection calculus.

Adam Meissner

Vietnam. J. Comput. Sci., 2014

2011

Experimental analysis of some computation rules in a simple parallel reasoning system for the <i>ALC</i> description logic.

Adam Meissner

Int. J. Appl. Math. Comput. Sci., 2011

Reasoning with the Depth-First Iterative Deepening Strategy in the DLog System.

Adam Meissner, Grazyna Brzykcy

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

2009

A Simple Parallel Reasoning System for the <i>ALC</i>\mathcal{ALC} Description Logic.

Adam Meissner

Proceedings of the Computational Collective Intelligence. Semantic Web, 2009

2008

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language.

Adam Meissner

Proceedings of the Artificial Intelligence: Theories, 2008

2007

Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.

Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System.

Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski

Proceedings of the Parallel Processing and Applied Mathematics, 2007

XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.

Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner

Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), 2007

2006

Computing an irregularity strength of selected graphs.

Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski

Electron. Notes Discret. Math., 2006

Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications.

Jolanta Cybulka, Adam Meissner, Tadeusz Pankowski

Proceedings of the Business Information Systems, 2006

2005

Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.

Adam Meissner, Krzysztof Zwierzynski

Proceedings of the Parallel Processing and Applied Mathematics, 2005

2001

Multi-agent blackboard architecture for a mobile robot.

Grazyna Brzykcy, Jacek Martinek, Adam Meissner, Piotr Skrzypczynski

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001