Tags: programming languages
- T. Briggs, "Constraint Generation and Reasoning in OWL", PhdThesis, University of Maryland, Baltimore County, November 2008, 3409 downloads.
- J. Mayfield, T. Finin, and M. Hall, "Using Automatic Memoization as a Software Engineering Tool in Real-World AI Systems", InProceedings, Eleventh Conference on Artificial Intelligence for Applications, February 1995, 1769 downloads.
- T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, 5th Artificial Intelligence Applications, March 1989, 692 downloads.
- Constraint Generation and Reasoning in OWL
November 17, 2008