Tags: first order logic
- Y. Peng and L. L. Augsburger, "Knowledge-Based Systems and Other AI Applications for Tableting", InBook, Pharmaceutical Dosage Forms, January 2008, 2801 downloads.
- J. Undercofer, "Intrusion Detection: Modeling System State to Detect and Classify Aberrant Behavior", PhdThesis, University of Maryland, Baltimore County, February 2004, 7030 downloads.
- T. Finin and G. Morris, "Abductive reasoning in multiple fault diagnosis", Article, Artificial Intelligence Review, July 1989, 748 downloads.
- L. Kagal, "Rei : A Policy Language for the Me-Centric Project", TechReport, HP Labs, September 2002, 3733 downloads.