Benjamin N. Grosof
Benjamin Nathan Grosof
Person information
- affiliation: MIT, Cambridge, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [c41]Benjamin N. Grosof, Michael Kifer, Paul Fodor:
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) 2017 - 2016
- [c40]Benjamin N. Grosof:
High-Power Logical Representation via Rulelog, for Neural-Symbolic. NeSy@HLAI 2016 - 2015
- [j10]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web 6(1): 81-98 (2015) - [c39]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 - [c38]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: 189-192 - 2013
- [c37]Benjamin Nathan Grosof, Terrance Swift:
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. AAAI 2013 - [c36]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 - [c35]Benjamin N. Grosof:
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). RuleML 2013: 2-11 - [i5]Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. CoRR abs/1302.4951 (2013) - [i4]
- [i3]
- [i2]
- [i1]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 abs/1308.4125 (2013) - 2011
- [c34]Benjamin N. Grosof:
Recent Advances in the SILK Knowledge Representation and Its Usage. RuleML America 2011: 13 - 2010
- [j9]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 Magazine 31(3): 33-58 (2010) - [c33]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in Answer Set Programs via Argumentation Theories. RR 2010: 149-163 - [c32]Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer:
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge 2010 - [c31]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 - [c30]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
2000 – 2009
- 2009
- [c29]Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang:
Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448 - [c28]
- 2007
- [j8]Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof:
Contextual alignment of ontologies in the eCOIN semantic interoperability framework. Information Technology and Management 8(1): 47-63 (2007) - 2005
- [c27]Sumit Bhansali, Benjamin N. Grosof:
Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML. RuleML 2005: 113-129 - [c26]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. International Semantic Web Conference 2005: 974-986 - [c25]Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005 - [c24]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 - 2004
- [j7]Benjamin N. Grosof:
Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1): 2-20 (2004) - [j6]Benjamin N. Grosof, Terrence C. Poon:
SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions. Int. J. Electronic Commerce 8(4): 61-97 (2004) - 2003
- [j5]Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner:
Where Are the Rules? IEEE Intelligent Systems 18(5): 76-83 (2003) - [j4]Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum:
Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur. 6(1): 128-171 (2003) - [c23]Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker:
Description logic programs: combining logic programs with description logic. WWW 2003: 48-57 - [c22]Benjamin N. Grosof, Terrence C. Poon:
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. WWW 2003: 340-349 - 2002
- [j3]Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof:
Automated Negotiation from Declarative Contract Descriptions. Computational Intelligence 18(4): 482-500 (2002) - [c21]Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof:
Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. ICIS 2002: 17 - [c20]Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. Finin:
SweetJess: Translating DAMLRuleML to JESS. RuleML 2002 - [c19]Benjamin N. Grosof, Terrence C. Poon:
Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. RuleML 2002 - 2001
- [j2]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 Magazine 22(1): 127-136 (2001) - [c18]Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof:
Automated negotiation from declarative contract descriptions. Agents 2001: 51-58 - 2000
- [c17]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: 96-117 - [c16]Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum:
A Practically Implementable and Tractable Delegation Logic. IEEE Symposium on Security and Privacy 2000: 27-42
1990 – 1999
- 1999
- [c15]Benjamin N. Grosof:
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. AAAI/IAAI 1999: 912-913 - [c14]Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof:
A Logic-based Knowledge Representation for Authorization with Delegation. CSFW 1999: 162-174 - [c13]Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan:
A declarative approach to business rules in contracts: courteous logic programs in XML. EC 1999: 68-77 - 1998
- [c12]Jeffrey O. Kephart, James E. Hanson, David W. Levine, Benjamin N. Grosof, Jakka Sairamesh, Richard Segal, Steve R. White:
Dynamics of an Information-Filtering Economy. CIA 1998: 160-171 - [c11]Jeffrey O. Kephart, James E. Hanson, Deffrey O. Levine, Benjamin N. Grosof, Jakka Sairamesh, Richard Segal, Steve R. White:
Emergent Behavior in Information Economies. ICMAS 1998: 441-442 - 1997
- [c10]
- 1995
- [j1]David M. Chess, Benjamin N. Grosof, Colin G. Harrison, David W. Levine, Colin Parris, Gene Tsudik:
Itinerant agents for mobile computing. IEEE Personal Commun. 2(5): 34-49 (1995) - [c9]Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. UAI 1995: 217-228 - 1991
- [c8]
1980 – 1989
- 1989
- [c7]
- [c6]
- 1987
- [c5]Stuart J. Russell, Benjamin N. Grosof:
A Declarative Approach to Bias in Concept Learning. AAAI 1987: 505-510 - 1986
- [c4]
- 1985
- [c3]Benjamin N. Grosof:
Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates. UAI 1985: 153-166 - [c2]Benjamin N. Grosof:
An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals. UAI 1985: 259-278 - 1984
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-02-25 22:00 CET by the dblp team