Joshua A. Taylor

I am currently a doctoral student in the Computer Science department at Rensselaer Polytechnic Institute, working in 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 current and past projects include:

• CL-ACE, Lisp bindings for Attempto Tools.
• CL-RDFXML, an RDF/XML parser in Common Lisp.
• Mobile Ambients simulator in Common Lisp.
• Provability-Based Semantic Interoperability Between Knowledgebases and Databases via Translation Graphs, my MS thesis.
• Slate A System for Logic and Theorem Extraction.
• AKRRIV Advanced Knowledge Representation and Reasoning for Interactive Visualzation.
• Solomon An intelligent and rational question and answer system based on sophisticated human-machine interaction.