Joshua A. Taylor

I am a recent graduate of the Computer Science PhD program at Rensselaer Polytechnic Institute, affliated with the Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory. My research involves information exchange and interoperability between logical and knowledge representation systems with different semantics. My projects include:

• CL-ACE, Lisp bindings for Attempto Tools.
• CL-RDFXML, an RDF/XML parser in Common Lisp.
• Mobile Ambients Simulator in Common Lisp.
• An Exploration in Fluid Logics, my PhD disseration.
• Provability-Based Semantic Interoperability Between Knowledgebases and Databases via Translation Graphs, my MS thesis.