Adam Meissner

Orcid: 0000-0001-9202-7507

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A simple distributed reasoning system for the connection calculus.
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.
Int. J. Appl. Math. Comput. Sci., 2011

Reasoning with the Depth-First Iterative Deepening Strategy in the DLog System.
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.
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.
Proceedings of the Artificial Intelligence: Theories, 2008

2007
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
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.
Proceedings of the Parallel Processing and Applied Mathematics, 2007

XML Schema Mappings in the Presence of Key Constraints and Value Dependencies.
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.
Electron. Notes Discret. Math., 2006

Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications.
Proceedings of the Business Information Systems, 2006

2005
Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.
Proceedings of the Parallel Processing and Applied Mathematics, 2005

2001
Multi-agent blackboard architecture for a mobile robot.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001


  Loading...