Joshua A. Taylor

Contact & Personal Information

Email: tayloj@cs.rpi.edu
Mobile: (518) 429-9230
Office:
RAIR Lab
Room 1112, Russell Sage Laboratories
(518) 276-4849
Mail:
Carnegie 108
110 8^th Street
Troy, NY 12180
Info: Curriculum Vitae (HTML) (XHTML), (PDF)

Research and Projects

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.
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.

I also keep a regularly updated (almost daily) log of my research activity and lab work.

Classes

Spring 2009
- CSCI-6965: Advanced Semantic Technologies (Tetherless World Wiki class site), CII 2113, T, 16:00–17:50, Deborah McGuinness (Semantic Portal Wiki class site)
- PHIL-4140: Intermediate Logic, Carnegie 210, TF, 12:00–13:50, Selmer Bringsjord
Fall 2008
- CSCI-6962: Semantic e-Science, CII 4040, M, 13:00–15:50, Deborah McGuinness.
- CSCI-6966: Advanced Semantic Web (Tetherless World Wiki class site), CII 4040, R, 16:00–18:50, Jim Hendler. (Semantic Portal Wiki class site)
Spring 2008
- CSCI-4964: Web Science, AE 215, MR, 12:00–13:50, Jim Hendler.
- MATH-4010: Abstract Algebra, Lally 104, TF, 10:00–11:50, Michael Zuker.

Teaching

Fall 2006 - CSCI-4150 Artificial Intelligence Teaching Assistant
Fall 2005 - Co-lecturer for PHIL-2140 Introduction to Logic. Students used Slate.
I taught Sunday School (grades 6-8) at the Korean Presbyterian Church of Albany, January 2004–January 2005.
During my undergraduate years, I was a teaching assistant for several classes:
- PHIL-4963 Intermediate Logic (Spring 2005)
- CSCI-1190 Beginning C Programming for Engineers (Fall 2003)
- PHIL-2140 Introduction to Logic (Fall 2002, 2003, 2004)
- CSCI-2300 Data Structures and Algorithms (Spring 2002)

Past Projects

Free tree enumeration project for Graph Theory.
Turing Machine Productivity, with a twist.
Solomon, my ATP routine implementation.
Moral Development Paper (PDF), an analysis of Jesus' Teachings with Respect to Carol Gilligan's caring theme.

Miscellany & Extra Curricular

I use Google Reader, and occasionally share items.
I have been introduced to LibraryThing and am slowly getting my library online.
Jennifer Golbeck gave a guest lecture at RPI and mentioned FOAF. I've posted a FOAF description of myself.
Korean Christian Fellowship (KCF)
Graduate Christian Fellowship (GCF)
Alpha Omega RPI
Korean Presbyterian Church of Albany