Adam Meissner

12 papers A 1B 1Misc 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2014 J jnl
A simple distributed reasoning system for the connection calculus.
Vietnam. J. Comput. Sci.
Adam Meissner
2011 J jnl
Experimental analysis of some computation rules in a simple parallel reasoning system for the
Int. J. Appl. Math. Comput. Sci.
Adam Meissner
2011 — conf
Reasoning with the Depth-First Iterative Deepening Strategy in the DLog System.
OTM Workshops
Adam Meissner, Grazyna Brzykcy
2009 B conf
A Simple Parallel Reasoning System for the
ICCCI
Adam Meissner
2008 — conf
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language.
SETN
Adam Meissner
2007 Misc conf
Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System.
PPAM
Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski
2007 — conf
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
RR
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner
2007 — conf
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
EROW
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner
2006 J jnl
Computing an irregularity strength of selected graphs.
Electron. Notes Discret. Math.
Adam Meissner, Magdalena Niwinska, Krzysztof Zwierzynski
2006 — conf
Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications.
BIS
Jolanta Cybulka, Adam Meissner, Tadeusz Pankowski
2005 Misc conf
Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.
PPAM
Adam Meissner, Krzysztof Zwierzynski
2001 A conf
Multi-agent blackboard architecture for a mobile robot.
IROS
Grazyna Brzykcy, Jacek Martinek, Adam Meissner, Piotr Skrzypczynski