Publications
1999. Mixed initiative dialogue and intelligence via active logic. proceedings of the AAAI99 Workshop on Mixed-Initiative Intelligence. :60-67.
2002. Topology inference from BGP routing dynamics. Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment. :243-248.
2008. Active logic semantics for a single agent in a static world. Artificial Intelligence. 172(8-9):1045-1063.
2006. The metacognitive loop I: Enhancing reinforcement learning with metacognitive monitoring and control for improved perturbation tolerance. Journal of Experimental & Theoretical Artificial Intelligence. 18(3):387-411.
1977. Use of peer ratings in evaluating computer program quality. Proceedings of the fifteenth annual SIGCPR conference. :218-226.
2006. Enhancing reinforcement learning with metacognitive monitoring and control for improved perturbation tolerance. Journal of Experimental and Theoretical Artificial Intelligence. 18(3):387-411.
2007. Hood College, Master of Business Administration, 2005 Hood College, Master of Science (Computer Science), 2001 Hood College, Bachelor of Science (Computer Science), 1998 Frederick Community College, Associate in Arts (Business Administration), 1993. Proceedings of the Workshop on Metareasoning in Agent-Based Systems.
2002. Time-situated agency: Active logic and intention formation. in: Workshop on Cognitive Agents, 25th German Conference on Artificial Intelligence.
2005. Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation. 15(1):21-21.
2007. Toward domain-neutral human-level metacognition. AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning.
2005. On the reasoning of real-world agents: Toward a semantics for active logic. 7-th Annual Symposium on the Logical Formalization of Commonsense Reasoning.
2004. Active logic for more effective human-computer interaction and other commonsense applications. Proceedings of the Workshop Empirically Successful First-Order Reasoning, International Joint Conference on Automated Reasoning.
2002. The use-mention distinction and its importance to HCI. Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialog. :21-28.
2002. Persistent caching in a multiple query optimization framework. Proceedings of the 6th Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers.
2002. Multiple Query Optimization for Data Analysis Applications on Clusters of SMPs. 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2002. :154-154.
2004. Efficient Execution of Multi-Query Data Analysis Batches Using Compiler Optimization Strategies. Languages and Compilers for Parallel Computing.
2003. Exploiting Functional Decomposition for Efficient Parallel Processing of Multiple Data Analysis Queries. Parallel and Distributed Processing Symposium, International. :81a-81a.
2007. Active semantic caching to optimize multidimensional data analysis in parallel and distributed environments. Parallel Computing. 33(7-8):497-520.
2002. Active Proxy-G: Optimizing the query execution process in the Grid. Proceedings of the 2002 ACM/IEEE conference on Supercomputing. :1-15.
2002. Scheduling multiple data visualization query workloads on a shared memory machine. Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM. :11-18.