Research

Our work concentrates on several research themes:

• Automating data science and scientific discovery: semantic workflows, scientific knowledge representation, metadata for software components. Projects in this area include: DISK, WINGS, OntoSoft, Scientific Paper of the Future, Geoscience Paper of the Future
• Crowdsourcing ontologies and metadata: collaborative science, collaboration meta-workflows, semantic wikis, social computing. Projects in this area include: Organic Data Science, Organic Data Curation, Linked Earth, Social Knowledge Collection
• Knowledge acquisition: knowledge collection from volunteers, knowledge acquisition dialogues, learning from being told, learning from demonstration and from examples. Projects in this area include Workflow Design, TellMe, Learner, CAT, KANAL, Maven, SLICK, and EXPECT.
• Knowledge management and trust in the semantic web: content trust in information sources, structured discussion and argumentation, provenance, and knowledge and information management. Projects include TRELLIS, MathTrust, and Wings, EXPECT.
• Interactive intelligent systems: user-centered decision aids, mixed-initiative tools, knowledge-based systems. Projects include Beamer, Wings, CAT, Temple, and EXPECT.
• Mixed-Initiative Planning: plan evaluation and critiquing, human-in-the-loop planning, plan ontologies and representations, planning with incomplete information. Projects include CAT, KANAL, EXPECT, PLANET, INSPECT, and PRODIGY.

Distributed Problem Solving

• Computational workflows: workflow representation, interactive workflow composition, automated workflow generation. Projects include Workflow Design, Wings, Pegasus, and CAT.
• Provenance and trust: Problem solving and workflow provenance, knowledge provenance, content trust. Projects include Wings, TRELLIS, and MathTrust.
• Distributed problem solving and grid computing: workflow management for distributed problem solving, intelligent middleware for Grid computing. Projects include Pegasus, Cognitive Grids, and SCEC-CME.
• Agent-Based Systems: agent communication, agentizing people, agent environments to support human organizations. Projects include Beamer, PHOSPHORUS, ROSETTA, and Electric Elves.