Adam Meissner
Orcid: 0000-0001-9202-7507
According to our database1,
Adam Meissner
authored at least 12 papers
between 2001 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
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
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
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
Electron. Notes Discret. Math., 2006
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
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001