| 2016 | NeSy | High-Power Logical Representation via Rulelog, for Neural-Symbolic. | Benjamin N. Grosof |
| 2009 | ICLP | Logic Programming with Defaults and Argumentation Theories. | Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
| 2003 | WWW | Description logic programs: combining logic programs with description logic. | Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker |
| 2003 | WWW | SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. | Benjamin N. Grosof, Terrence C. Poon |
| 2002 | ICIS | Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. | Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof |
| 2000 | SP | A Practically Implementable and Tractable Delegation Logic. | Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum |
| 1999 | AAAI | DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. | Benjamin N. Grosof |
| 1995 | CIKM | Reusable Architecture for Embedding Rule-based Intelligence in Information Agents. | Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach |
| 1995 | UAI | Transforming Prioritized Defaults and Specificity into Parallel Defaults. | Benjamin N. Grosof |
| 1991 | KR | Generalizing Prioritization. | Benjamin N. Grosof |
| 1989 | ICML | Declarative Bias for Structural Domains. | Benjamin N. Grosof, Stuart J. Russell |
| 1989 | UAI | Defeasible Reasoning and Uncertainty: Comments. | Benjamin N. Grosof |
| 1987 | AAAI | A Declarative Approach to Bias in Concept Learning. | Stuart J. Russell, Benjamin N. Grosof |
| 1986 | UAI | Non-monotonicity in probabilistic reasoning. | Benjamin N. Grosof |
| 1985 | UAI | Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates. | Benjamin N. Grosof |
| 1985 | UAI | An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals. | Benjamin N. Grosof |