Research Projects
Assisted Cognition
Laboratory for Assisted Cognition Environments (LACE)
at the University of Rochester
Workshop on Intelligent Systems for Assisted Cognition
, University of Rochester, October 12-13, 2007.
Overview
on STEM Portal
Project ACCESS
: Assisted Cognition in Community, Employment and Support Settings (work with Kurt Johnson & Gaetano Borriello)
Opportunity Knocks
: A Personal Guidance System
Resources for Assisted Cognition
Case Study on the Assisted Cognition Project
, prepared by the
UW Office of Educational Partnerships and Learning Technologies
Logic and Satisfiability Testing
Planning as Satisfiability (SATPLAN / blackbox)
SATPLAN-06 ties for first-place for optimal planning at the
ICAPS-2006 Planning Competition (IPC-6)
SATPLAN-04 takes
first-place for optimal planning
at the
ICAPS-2004 Planning Competition (IPC-4)
Cachet
- Model counting using component caching and clause learning
CORE:
Computational Principles for Optimization of Resources and Execution Time
Walksat
, a SAT solver using local search
Satz-rand
, a SAT solver using randomized restarts
The IJCAI Computational Challenge in Propositional Reasoning and Search
Satisfiability Testing Benchmarks and Code Repositories
Second DIMACS Challenge on Cliques, Coloring, and Satisfiability (1993)
SATLIB - the Satisfiability Library
Sat Competition 2004 Benchmarks and Result
Sat-Ex
SatLive!
Language and Social Networks
Creating dynamic social network models from sensor data
ReferralWeb
, a system for finding and searching social networks on the World Wide Web
Provably reliable question-answering interfaces
Back to
home page