Tags: first order logic

Refereed Publications

2008

  1. Y. Peng and L. L. Augsburger, "Knowledge-Based Systems and Other AI Applications for Tableting", InBook, Pharmaceutical Dosage Forms, January 2008, 2427 downloads.

2004

  1. J. Undercofer, "Intrusion Detection: Modeling System State to Detect and Classify Aberrant Behavior", PhdThesis, University of Maryland, Baltimore County, February 2004, 6690 downloads.

1989

  1. T. Finin and G. Morris, "Abductive reasoning in multiple fault diagnosis", Article, Artificial Intelligence Review, July 1989, 368 downloads.

Non-Refereed Publications

2002

  1. L. Kagal, "Rei : A Policy Language for the Me-Centric Project", TechReport, HP Labs, September 2002, 3453 downloads.