Local Navigation
Artificial Intelligence
Projects
- Applications
- tools for planning, workflow, and satisfiability
- Knowledge Representation
- representing and reasoning with real-world knowledge
- Ontology-based Inference and Learning
- Ontologies, Inference Engine, Machine Learning and the Semantic Web
- Qualitative Modeling
- common sense reasoning about complex systems
- Qualitative Reasoning
- Investigation of methodologies for representing and reasoning about physical, social, and economic systems in a qualitative, rather than quantitative, manner. Study of their application to diagnosis and incremental design.
- Reasoning
- systematic and nonsystematic search, limited reasoning
Laboratories and Affiliations:
