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, 2474 downloads.

2004

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

1989

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

Non-Refereed Publications

2002

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