Automatic Reasoning

Automated Modeling of Complex Systems to Answer Prediction Questions, Bruce Porter

Fages' Theorem and Answer Set Programming, Vladimir Lifschitz

Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic, Benjamin Kuipers and Benjamin Shults

Qualitative and Quantitative Simulation: Bridging the Gap, Benjamin Kuipers and Daniel Berleant

Wire Routing and Satisfiability Planning , Vladimir Lifschitz

Automatic Programming

Conversion of Units of Measurement, Gordon Novak

Creation of Views for Reuse of Software with Different Data Representations, Gordon Novak

Interactions of Abstractions in Programming, Gordon Novak

Software Reuse by Specialization of Generic Procedures through Views, Gordon Novak

Episodic Memory

Convergence-Zone Episodic Memory: Analysis and Simulations, Mark Moll and Risto Miikkulainen

Concept and Schema Learning

Visual Schemas in Neural networks for Object Recognition and Scene Analysis, Wee Kheng Leow and Risto Miikkulainen

Knowledge Representation

Building Concept Representations from Reusable Components, Bruce Porter

Knowledge Patterns, Bruce Porter

The Spatial Semantic Hierarchy, Benjamin Kuipers

Machine Learning

A Mutually Beneficial Integration of Data Mining and Information Extraction , Ray Mooney and Un Yong Nahm

Automated Construction of Database Interfaces: Integrating Statistical and Relational Learning for Semantic Parsing , Ray Mooney and Lappoon R. Tang

Content-Based Book Recommending Using Learning for Text Categorizaion, Ray Mooney and Loriene Roy

Map Learning with Uninterpreted Sensors and Effectors, Benjamin Kuipers and David Pierce

Natural Language Processing

Forming Neural Networks through Efficient and Adaptive Coevolution

David Moriarty and Risto Miikkulainen

Neuroevolution

Solving Non-Markovian Control Tasks with Neuroevolution, Risto Miikkulainen and Faustino Gomez

Visual Cortex Modeling

Self-Organization, Plasticity, and Low-level Visual Phenomena in a Laterally Connected Map Model of the Primary Visual Cortex, Risto Miikkuainen, James Bednar, Yoonsuck Choe and Joseph Sirosh