Benjamin N. Grosof

Publication Activity (10 Years)

Years Active: 1984-2019
Publications (10 Years): 3

Top Topics

Probabilistic Knowledge

Highly Expressive

Default Reasoning

Recent Progress

Top Venues

IBM (PHD)

Education History

IBM

PHD

Publications

Benjamin N. Grosof, Theresa Swift
PLOW: Probabilistic Logic Over the Well-Founded Semantics. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering (2019)
Benjamin N. Grosof, Michael Kifer, Paul Fodor
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) (2017)
Benjamin N. Grosof
High-Power Logical Representation via Rulelog, for Neural-Symbolic. NeSy@HLAI (2016)
Benjamin N. Grosof, Michael Kifer, Paul Fodor
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web (2015)
Hui Wan, Michael Kifer, Benjamin N. Grosof
Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web 6 (1) (2015)
Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML (2015)
Benjamin N. Grosof
An Inequality Paradigm for Probabilistic Knowledge CoRR (2013)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) (2013)
Benjamin N. Grosof
Transforming Prioritized Defaults and Specificity into Parallel Defaults CoRR (2013)
Benjamin N. Grosof
Evidential Confirmation as Transformed Probability CoRR (2013)
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
Understanding Rulelog Computations in Silk. CoRR (2013)
Benjamin N. Grosof
Non-Monotonicity in Probabilistic Reasoning CoRR (2013)
Benjamin N. Grosof
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). RuleML (2013)
Benjamin N. Grosof
Recent Advances in the SILK Knowledge Representation and Its Usage. RuleML America (2011)
Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro
A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. RuleML Challenge (2010)
David Gunning, Vinay K. Chaudhri, Peter Clark, Ken Barker, Shaw Yi Chaw, Mark Greaves, Benjamin N. Grosof, Alice Leung, David D. McDonald, Sunil Mishra, John Pacheco, Bruce W. Porter, Aaron Spaulding, Dan Tecuci, Jing Tien
Project Halo Update - Progress Toward Digital Aristotle. AI Mag. 31 (3) (2010)
Hui Wan, Michael Kifer, Benjamin N. Grosof
Defeasibility in Answer Set Programs via Argumentation Theories. RR (2010)
Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro
A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. ISWC (Posters & Demos) (2010)
Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge (2010)
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
Logic Programming with Defaults and Argumentation Theories. ICLP (2009)
Benjamin N. Grosof
SILK: Higher Level Rules with Defaults and Semantic Scalability. RR (2009)
Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof
Contextual alignment of ontologies in the eCOIN semantic interoperability framework. Inf. Technol. Manag. 8 (1) (2007)
Benjamin N. Grosof, Michael Kifer, David L. Martin
Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. Rule Languages for Interoperability (2005)
Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner
RuleML Position Statement. Rule Languages for Interoperability (2005)
Martin J. O'Connor, Holger Knublauch, Samson W. Tu, Benjamin N. Grosof, Mike Dean, William E. Grosso, Mark A. Musen
Supporting Rule System Interoperability on the Semantic Web with SWRL. ISWC (2005)
Sumit Bhansali, Benjamin N. Grosof
Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML. RuleML (2005)
Benjamin N. Grosof
Representing e-commerce rules via situated courteous logic programs in RuleML. Electron. Commer. Res. Appl. 3 (1) (2004)
Benjamin N. Grosof, Terrence C. Poon
SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions. Int. J. Electron. Commer. 8 (4) (2004)
Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner
Where Are the Rules? IEEE Intell. Syst. 18 (5) (2003)
Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur. 6 (1) (2003)
Benjamin N. Grosof, Terrence C. Poon
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. WWW (2003)
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker
Description logic programs: combining logic programs with description logic. WWW (2003)
Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof
Automated Negotiation from Declarative Contract Descriptions. Comput. Intell. 18 (4) (2002)
Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. Finin
SweetJess: Translating DAMLRuleML to JESS. RuleML (2002)
Benjamin N. Grosof, Terrence C. Poon
Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. RuleML (2002)
Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof
Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. ICIS (2002)
Yves Lespérance, Gerd Wagner, 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, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari
AAAI 2000 Workshop Reports. AI Mag. 22 (1) (2001)
Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof
Automated negotiation from declarative contract descriptions. Agents (2001)
Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
A Practically Implementable and Tractable Delegation Logic. IEEE Symposium on Security and Privacy (2000)
Benjamin N. Grosof, Yannis Labrou
An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language. Issues in Agent Communication (2000)
Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof
A Logic-based Knowledge Representation for Authorization with Delegation. CSFW (1999)
Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan
A declarative approach to business rules in contracts: courteous logic programs in XML. EC (1999)
Benjamin N. Grosof
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. AAAI/IAAI (1999)
Jeffrey O. Kephart, James E. Hanson, Deffrey O. Levine, Benjamin N. Grosof, Jakka Sairamesh, Richard B. Segal, Steve R. White
Emergent Behavior in Information Economies. ICMAS (1998)
Jeffrey O. Kephart, James E. Hanson, David W. Levine, Benjamin N. Grosof, Jakka Sairamesh, Richard B. Segal, Steve R. White
Dynamics of an Information-Filtering Economy. CIA (1998)
Benjamin N. Grosof
Prioritized Conflict Handling for Logic Programs. ILPS (1997)
Benjamin N. Grosof
Building Commercial Agents: an IBM Research Perspective. PAAM (1997)
Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach
Reusable Architecture for Embedding Rule-based Intelligence in Information Agents. CIKM Information Agents Workshop (1995)
Benjamin N. Grosof
Transforming Prioritized Defaults and Specificity into Parallel Defaults. UAI (1995)
David M. Chess, Benjamin N. Grosof, Colin G. Harrison, David W. Levine, Colin Parris, Gene Tsudik
Itinerant agents for mobile computing. IEEE Wirel. Commun. 2 (5) (1995)
Benjamin N. Grosof
Generalizing Prioritization. KR (1991)
Benjamin N. Grosof
Defeasible Reasoning and Uncertainty: Comments. UAI (1989)
Benjamin N. Grosof, Stuart J. Russell
Declarative Bias for Structural Domains. ML (1989)
Stuart J. Russell, Benjamin N. Grosof
A Declarative Approach to Bias in Concept Learning. AAAI (1987)
Benjamin N. Grosof
Non-monotonicity in probabilistic reasoning. UAI (1986)
Benjamin N. Grosof
Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates. UAI (1985)
Benjamin N. Grosof
An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals. UAI (1985)
Benjamin N. Grosof
Default Reasoning as Circumscription. NMR (1984)