Tags: programming languages

Refereed Publications

2008

  1. T. Briggs, "Constraint Generation and Reasoning in OWL", PhdThesis, University of Maryland, Baltimore County, November 2008, 3306 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, 1560 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, 625 downloads.

Old Events

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