Benjamin N. Grosof

According to our database, Benjamin N. Grosof authored at least 57 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Ergo: A Quest for Declarativity in Logic Programming.

Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield

Proceedings of the Prolog: The Next 50 Years, 2023

2019

PLOW: Probabilistic Logic Over the Well-Founded Semantics.

Benjamin N. Grosof, Theresa Swift

Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

2017

Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning.

Benjamin N. Grosof, Michael Kifer, Paul Fodor

Proceedings of the Doctoral Consortium, 2017

2016

High-Power Logical Representation via Rulelog, for Neural-Symbolic.

Benjamin N. Grosof

Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016

2015

Defeasibility in answer set programs with defaults and argumentation rules.

Hui Wan, Michael Kifer, Benjamin N. Grosof

Semantic Web, 2015

The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation).

Benjamin N. Grosof, Michael Kifer, Paul Fodor

Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

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

Proceedings of the RuleML 2015 Challenge, 2015

2013

Evidential Confirmation as Transformed Probability

Benjamin N. Grosof

CoRR, 2013

An Inequality Paradigm for Probabilistic Knowledge

Benjamin N. Grosof

CoRR, 2013

Understanding Rulelog Computations in Silk.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

CoRR, 2013

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

Benjamin N. Grosof

Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

Advanced Knowledge Base Debugging for Rulelog.

Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift

Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs.

Benjamin Nathan Grosof, Terrance Swift

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2011

Recent Advances in the SILK Knowledge Representation and Its Usage.

Benjamin N. Grosof

Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

2010

Project Halo Update - Progress Toward Digital Aristotle.

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

AI Mag., 2010

A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.

Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro

Proceedings of the RuleML-2010 Challenge, 2010

Omni-directional Hyper Logic Programs in SILK and RIF.

Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer

Proceedings of the RuleML-2010 Challenge, 2010

Defeasibility in Answer Set Programs via Argumentation Theories.

Hui Wan, Michael Kifer, Benjamin N. Grosof

Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

2009

SILK: Higher Level Rules with Defaults and Semantic Scalability.

Benjamin N. Grosof

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Logic Programming with Defaults and Argumentation Theories.

Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang

Proceedings of the Logic Programming, 25th International Conference, 2009

2007

Contextual alignment of ontologies in the eCOIN semantic interoperability framework.

Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof

Inf. Technol. Manag., 2007

2005

Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions.

Benjamin N. Grosof, Michael Kifer, David L. Martin

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

RuleML Position Statement.

Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 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

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML.

Sumit Bhansali, Benjamin N. Grosof

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

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

Representing e-commerce rules via situated courteous logic programs in RuleML.

Benjamin N. Grosof

Electron. Commer. Res. Appl., 2004

2003

Delegation logic: A logic-based approach to distributed authorization.

Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum

ACM Trans. Inf. Syst. Secur., 2003

Where Are the Rules?

Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner

IEEE Intell. Syst., 2003

SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions.

Benjamin N. Grosof, Terrence C. Poon

Proceedings of the Twelfth International World Wide Web Conference, 2003

Description logic programs: combining logic programs with description logic.

Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker

Proceedings of the Twelfth International World Wide Web Conference, 2003

2002

Automated Negotiation from Declarative Contract Descriptions.

Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof

Comput. Intell., 2002

Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions.

Benjamin N. Grosof, Terrence C. Poon

Proceedings of the RuleML 2002, 2002

SweetJess: Translating DAMLRuleML to JESS.

Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. Finin

Proceedings of the RuleML 2002, 2002

Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems.

Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof

Proceedings of the International Conference on Information Systems, 2002

2001

AAAI 2000 Workshop Reports.

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

AI Mag., 2001

2000

A Practically Implementable and Tractable Delegation Logic.

Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language.

Benjamin N. Grosof, Yannis Labrou

Proceedings of the Issues in Agent Communication, 2000

1999

A declarative approach to business rules in contracts: courteous logic programs in XML.

Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan

Proceedings of the First ACM Conference on Electronic Commerce (EC-99), 1999

A Logic-based Knowledge Representation for Authorization with Delegation.

Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications.

Benjamin N. Grosof

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

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

Proceedings of the Third International Conference on Multiagent Systems, 1998

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

Proceedings of the Cooperative Information Agents II, 1998

1997

Prioritized Conflict Handling for Logic Programs.

Benjamin N. Grosof

Proceedings of the Logic Programming, 1997

Building Commercial Agents: an IBM Research Perspective.

Benjamin N. Grosof

Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997

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

Transforming Prioritized Defaults and Specificity into Parallel Defaults.

Benjamin N. Grosof

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Reusable Architecture for Embedding Rule-based Intelligence in Information Agents.

Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach

Proceedings of the CIKM 1995 Intelligent Information Agents Workshop, 1995

1992

Updating and structure in non-monotonic theories.

Benjamin N. Grosof

PhD thesis, 1992

1991

Generalizing Prioritization.

Benjamin N. Grosof

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1989

Defeasible Reasoning and Uncertainty: Comments.

Benjamin N. Grosof

Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989

Declarative Bias for Structural Domains.

Benjamin N. Grosof, Stuart J. Russell

Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

1987

A Declarative Approach to Bias in Concept Learning.

Stuart J. Russell, Benjamin N. Grosof

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Non-monotonicity in probabilistic reasoning.

Benjamin N. Grosof

Proceedings of the UAI '86: Proceedings of the Second Annual Conference on Uncertainty in Artificial Intelligence, 1986

1985

An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals.

Benjamin N. Grosof

Proceedings of the UAI '85: Proceedings of the First Annual Conference on Uncertainty in Artificial Intelligence, 1985

Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates.

Benjamin N. Grosof

Proceedings of the UAI '85: Proceedings of the First Annual Conference on Uncertainty in Artificial Intelligence, 1985

1984

Default Reasoning as Circumscription.

Benjamin N. Grosof

Proceedings of the Non-Monotonic Reasoning Workshop, 1984