Preface notes about Benjamin Grosof's Earlier Papers etc.:


Up to Benjamin Grosof home page

Dates and Superceded Versions:

For research reports and for papers in post-edited proceedings, only the latest version is listed, rather than having a separate chronologically earlier entry for each superceded version. More generally, many paper entries have comments indicating supersuming relationships between papers.


Access:

For full papers that you cannot access from this page (below), you can contact the author to request a reprint by e-mail: bgrosof@mit.edu Alternative ways to get some of the papers and abstracts below, not from this website, are:


Topics:

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.


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.

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.


Terminology in paper titles - SKIP this if you know basic AI

Non-monotonic reasoning is essentially reasoning with overridable rules (defaults, conflicts).

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".)


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

Up to Benjamin Grosof home page