Default Reasoning as Circumscription. - Benjamin N. Grosof (NMR, 1984)

Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates. - Benjamin N. Grosof (UAI, 1985)

An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals. - Benjamin N. Grosof (UAI, 1985)

Non-monotonicity in probabilistic reasoning. - Benjamin N. Grosof (UAI, 1986)

A Declarative Approach to Bias in Concept Learning. - Stuart J. Russell; Benjamin N. Grosof (AAAI, 1987)

Declarative Bias for Structural Domains. - Benjamin N. Grosof; Stuart J. Russell (ML, 1989)

Defeasible Reasoning and Uncertainty: Comments. - Benjamin N. Grosof (UAI, 1989)

Generalizing Prioritization. - Benjamin N. Grosof (KR, 1991)

Updating and structure in non-monotonic theories. - Benjamin N. Grosof (1992)

Reusable Architecture for Embedding Rule-based Intelligence in Information Agents. - Benjamin N. Grosof; David W. Levine; Hoi Y. Chan; Colin Parris; Joshua S. Auerbach (CIKM Information Agents Workshop, 1995)

Transforming Prioritized Defaults and Specificity into Parallel Defaults. - Benjamin N. Grosof (UAI, 1995)

Itinerant agents for mobile computing. - David M. Chess; Benjamin N. Grosof; Colin G. Harrison; David W. Levine; Colin Parris; Gene Tsudik (IEEE Wirel. Commun., 1995)

Building Commercial Agents: an IBM Research Perspective. - Benjamin N. Grosof (PAAM, 1997)

Prioritized Conflict Handling for Logic Programs. - Benjamin N. Grosof (ILPS, 1997)

Dynamics of an Information-Filtering Economy. - Jeffrey O. Kephart; James E. Hanson; David W. Levine; Benjamin N. Grosof; Jakka Sairamesh; Richard B. Segal; Steve R. White (CIA, 1998)

Emergent Behavior in Information Economies. - Jeffrey O. Kephart; James E. Hanson; Deffrey O. Levine; Benjamin N. Grosof; Jakka Sairamesh; Richard B. Segal; Steve R. White (ICMAS, 1998)

DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. - Benjamin N. Grosof (AAAI/IAAI, 1999)

A Logic-based Knowledge Representation for Authorization with Delegation. - Ninghui Li; Joan Feigenbaum; Benjamin N. Grosof (CSFW, 1999)

A declarative approach to business rules in contracts: courteous logic programs in XML. - Benjamin N. Grosof; Yannis Labrou; Hoi Y. Chan (EC, 1999)

An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language. - Benjamin N. Grosof; Yannis Labrou (Issues in Agent Communication, 2000)

A Practically Implementable and Tractable Delegation Logic. - Ninghui Li; Benjamin N. Grosof; Joan Feigenbaum (S&P, 2000)

AAAI 2000 Workshop Reports. - Yves Lespérance; Gerd Wagner 001; William P. Birmingham; Kurt D. Bollacker; Alexander Nareyek; J. Paul Walser; David W. Aha; Timothy W. Finin; Benjamin N. Grosof; Nathalie Japkowicz; Robert Holte; Lise Getoor; et al. (AI Mag., 2001)

Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. - Aykut Firat; Stuart E. Madnick; Benjamin N. Grosof (ICIS, 2002)

SweetJess: Translating DAMLRuleML to JESS. - Benjamin N. Grosof; Mahesh D. Gandhe; Timothy W. Finin (RuleML, 2002)

Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. - Benjamin N. Grosof; Terrence C. Poon (RuleML, 2002)

Automated Negotiation from Declarative Contract Descriptions. - Daniel M. Reeves; Michael P. Wellman; Benjamin N. Grosof (Comput. Intell., 2002)

Description logic programs: combining logic programs with description logic. - Benjamin N. Grosof; Ian Horrocks 001; Raphael Volz; Stefan Decker (WWW, 2003)

SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. - Benjamin N. Grosof; Terrence C. Poon (WWW, 2003)

Where Are the Rules? - Ian Horrocks 001; Jürgen Angele; Stefan Decker; Michael Kifer; Benjamin N. Grosof; Gerd Wagner 001 (IEEE Intell. Syst., 2003)

Delegation logic: A logic-based approach to distributed authorization. - Ninghui Li; Benjamin N. Grosof; Joan Feigenbaum (ACM Trans. Inf. Syst. Secur., 2003)

Representing e-commerce rules via situated courteous logic programs in RuleML. - Benjamin N. Grosof (Electron. Commer. Res. Appl., 2004)

SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions. - Benjamin N. Grosof; Terrence C. Poon (Int. J. Electron. Commer., 2004)

Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML. - Sumit Bhansali; Benjamin N. Grosof (RuleML, 2005)

Supporting Rule System Interoperability on the Semantic Web with SWRL. - Martin J. O'Connor; Holger Knublauch; Samson W. Tu; Benjamin N. Grosof; Mike Dean; William E. Grosso; Mark A. Musen (ISWC, 2005)

RuleML Position Statement. - Harold Boley; Mike Dean; Benjamin N. Grosof; Michael Kifer; Said Tabet; Gerd Wagner 001 (Rule Languages for Interoperability, 2005)

Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. - Benjamin N. Grosof; Michael Kifer; David L. Martin 001 (Rule Languages for Interoperability, 2005)

Contextual alignment of ontologies in the eCOIN semantic interoperability framework. - Aykut Firat; Stuart E. Madnick; Benjamin N. Grosof (Inf. Technol. Manag., 2007)

Logic Programming with Defaults and Argumentation Theories. - Hui Wan 001; Benjamin N. Grosof; Michael Kifer; Paul Fodor; Senlin Liang (ICLP, 2009)

SILK: Higher Level Rules with Defaults and Semantic Scalability. - Benjamin N. Grosof (RR, 2009)

Defeasibility in Answer Set Programs via Argumentation Theories. - Hui Wan 001; Michael Kifer; Benjamin N. Grosof (RR, 2010)

Omni-directional Hyper Logic Programs in SILK and RIF. - Benjamin N. Grosof; Carl Andersen 001; Mike Dean; Michael Kifer (RuleML Challenge, 2010)

A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. - Benjamin N. Grosof; Mark H. Burstein; Mike Dean; Carl Andersen 001; Brett Benyo; William Ferguson; Daniela Inclezan; Richard Shapiro (RuleML Challenge, 2010)

Project Halo Update - Progress Toward Digital Aristotle. - David Gunning; Vinay K. Chaudhri; Peter Clark; Ken Barker 002; Shaw Yi Chaw; Mark Greaves; Benjamin N. Grosof; Alice Leung; David D. McDonald 002; Sunil Mishra; John Pacheco; Bruce W. Porter; et al. (AI Mag., 2010)

Recent Advances in the SILK Knowledge Representation and Its Usage. - Benjamin N. Grosof (RuleML America, 2011)

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. - Benjamin Nathan Grosof; Terrance Swift (AAAI, 2013)

Advanced Knowledge Base Debugging for Rulelog. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (RuleML (2), 2013)

Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). - Benjamin N. Grosof (RuleML, 2013)

Understanding Rulelog Computations in Silk. - Carl Andersen 001; Brett Benyo; Miguel Calejo; Mike Dean; Paul Fodor; Benjamin N. Grosof; Michael Kifer; Senlin Liang; Terrance Swift (CoRR, 2013)

An Inequality Paradigm for Probabilistic Knowledge - Benjamin N. Grosof (CoRR, 2013)

Evidential Confirmation as Transformed Probability - Benjamin N. Grosof (CoRR, 2013)

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. - Benjamin N. Grosof; Janine Bloomfield; Paul Fodor; Michael Kifer; Isaac Grosof; Miguel Calejo; Terrance Swift (Challenge+DC@RuleML, 2015)

The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). - Benjamin N. Grosof; Michael Kifer; Paul Fodor (Reasoning Web, 2015)

Defeasibility in answer set programs with defaults and argumentation rules. - Hui Wan 001; Michael Kifer; Benjamin N. Grosof (Semantic Web, 2015)

High-Power Logical Representation via Rulelog, for Neural-Symbolic. - Benjamin N. Grosof (NeSy@HLAI, 2016)

Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. - Benjamin N. Grosof; Michael Kifer; Paul Fodor (RuleML+RR (Supplement), 2017)

PLOW: Probabilistic Logic Over the Well-Founded Semantics. - Benjamin N. Grosof; Theresa Swift (AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering, 2019)

Ergo: A Quest for Declarativity in Logic Programming. - Benjamin N. Grosof; Michael Kifer; Theresa Swift; Paul Fodor; Janine Bloomfield (Prolog: The Next 50 Years, 2023)

A Community-driven vision for a new Knowledge Resource for AI. - Vinay K. Chaudhri; Chaitan Baru; Brandon Bennett; Mehul Bhatt; Darion Cassel; Anthony G. Cohn 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (CoRR, 2025)