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".)
Refereeing; about the conferences and organizations
All publications are refereed (unless explicitly mentioned otherwise).
All Conferences, Workshops, and Symposia are international in
participation (unless explicitly mentioned otherwise). The Workshops
and Symposia are small conferences that are by-invitation-only.
Terminology in paper titles - SKIP this if you know basic AI
Non-monotonic reasoning is essentially reasoning with overridable rules
(defaults, conflicts).
Format Notes: Postscript and PDF
To view Postscript format documents, you need an
appropriate viewer, e.g.: ghostview or gv on UNIX; or GSView on
Windows.
To view PDF format documents, you need an appropriate viewer such as
Adobe's free
Acrobat(TM)
Reader on UNIX or Windows.
Last update: 2003-05-14