Tags: programming languages

Refereed Publications

2008

  1. T. Briggs, "Constraint Generation and Reasoning in OWL", PhdThesis, University of Maryland, Baltimore County, November 2008, 3160 downloads.

1995

  1. 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, 1329 downloads.

1989

  1. T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, 5th Artificial Intelligence Applications, March 1989, 536 downloads.

Old Events

  1. Constraint Generation and Reasoning in OWL
    November 17, 2008