Logic Programs is a topic of many papers since Sept. 1995: Although only sometimes in the title, most of the papers (including talks and patents) starting in 1995 whose titles mention "rule", "agents", "logic", "contracts", "reasoning", or "knowledge representation", are in great part about logic programs, a practical yet fairly expressively powerful logical formalism for reasoning.
Circumscription is a topic of many papers up until July 1995: Although only occasionally in the title, most of the papers up until late 1995 whose titles mention "non-monotonic", "prioritized", "default", "bias", or "learning", are in great part about circumscription, an expressively powerful logical formalism for non-monotonic reasoning. The PhD dissertation (1992) is mainly about ideas formalized in circumscription.
The American Association for Artificial Intelligence (AAAI) is the main AI professional society in the US. The Association for Computing Machinery (ACM) and the Institute for Electrical and Electronic Engineers (IEEE) are the main computer science professional societies in the US.
Machine learning includes statistical induction techniques for data mining.
Uncertainty in the AI sense includes probabilistic, decision-analytic, and fuzzy reasoning.
(AI means "Artificial Intelligence".)