UNDER CONSTRUCTION**
Most Recent Projects:
- Reasoning about Preferences, including planning with preferences
- Modeling and reasoning about Semantic Web Services, including automated Web service composition, OWL-S and FLOWS (a first-order ontology for Web services)
- Reasoning with Structured Theories, including SAT
**Until this page is updated, feel free to email me for details regarding software and/or papers. See also my publications page.