default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenjamin N. Grosof
Person information
- affiliation: MIT, Cambridge, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1992
[b1]Benjamin N. Grosof:
Updating and structure in non-monotonic theories. IBM, Research report / RC / IBM / IBM Research Division / T. J. Watson Research Center 20683, 1992, pp. I-XIII, 1-431
Journal Articles
- 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) - 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 Mag. 31(3): 33-58 (2010) - 2007
- [j8]Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof:
Contextual alignment of ontologies in the eCOIN semantic interoperability framework. Inf. Technol. Manag. 8(1): 47-63 (2007) - 2004
- [j7]Benjamin N. Grosof:
Representing e-commerce rules via situated courteous logic programs in RuleML. Electron. Commer. Res. Appl. 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. Electron. Commer. 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 Intell. Syst. 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) - 2002
- [j3]Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof:
Automated Negotiation from Declarative Contract Descriptions. Comput. Intell. 18(4): 482-500 (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 Mag. 22(1): 127-136 (2001) - 1995
- [j1]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): 34-49 (1995)
Conference and Workshop Papers
- 2019
- [c44]Benjamin N. Grosof, Theresa Swift:
PLOW: Probabilistic Logic Over the Well-Founded Semantics. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering 2019 - 2017
- [c43]Benjamin N. Grosof, Michael Kifer, Paul Fodor:
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) 2017 - 2016
- [c42]Benjamin N. Grosof:
High-Power Logical Representation via Rulelog, for Neural-Symbolic. NeSy@HLAI 2016 - 2015
- [c41]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 - [c40]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
- [c39]Benjamin Nathan Grosof, Terrance Swift:
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. AAAI 2013: 379-386 - [c38]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 - [c37]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 - 2011
- [c36]Benjamin N. Grosof:
Recent Advances in the SILK Knowledge Representation and Its Usage. RuleML America 2011: 13 - 2010
- [c35]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in Answer Set Programs via Argumentation Theories. RR 2010: 149-163 - [c34]Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer:
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge 2010 - [c33]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 - [c32]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 - 2009
- [c31]Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang:
Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448 - [c30]Benjamin N. Grosof:
SILK: Higher Level Rules with Defaults and Semantic Scalability. RR 2009: 24-25 - 2005
- [c29]Sumit Bhansali, Benjamin N. Grosof:
Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML. RuleML 2005: 113-129 - [c28]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: 974-986 - [c27]Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005 - [c26]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 - 2003
- [c25]Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker:
Description logic programs: combining logic programs with description logic. WWW 2003: 48-57 - [c24]Benjamin N. Grosof, Terrence C. Poon:
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. WWW 2003: 340-349 - 2002
- [c23]Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof:
Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. ICIS 2002: 17 - [c22]Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. Finin:
SweetJess: Translating DAMLRuleML to JESS. RuleML 2002 - [c21]Benjamin N. Grosof, Terrence C. Poon:
Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. RuleML 2002 - 2001
- [c20]Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof:
Automated negotiation from declarative contract descriptions. Agents 2001: 51-58 - 2000
- [c19]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 - [c18]Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum:
A Practically Implementable and Tractable Delegation Logic. S&P 2000: 27-42 - 1999
- [c17]Benjamin N. Grosof:
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. AAAI/IAAI 1999: 912-913 - [c16]Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof:
A Logic-based Knowledge Representation for Authorization with Delegation. CSFW 1999: 162-174 - [c15]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
- [c14]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: 160-171 - [c13]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: 441-442 - 1997
- [c12]Benjamin N. Grosof:
Building Commercial Agents: an IBM Research Perspective. PAAM 1997: 1-6 - [c11]Benjamin N. Grosof:
Prioritized Conflict Handling for Logic Programs. ILPS 1997: 197-211 - 1995
- [c10]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: 10:1-10:7 - [c9]Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. UAI 1995: 217-228 - 1991
- [c8]Benjamin N. Grosof:
Generalizing Prioritization. KR 1991: 289-300 - 1989
- [c7]Benjamin N. Grosof, Stuart J. Russell:
Declarative Bias for Structural Domains. ML 1989: 480-482 - [c6]Benjamin N. Grosof:
Defeasible Reasoning and Uncertainty: Comments. UAI 1989: 61-66 - 1987
- [c5]Stuart J. Russell, Benjamin N. Grosof:
A Declarative Approach to Bias in Concept Learning. AAAI 1987: 505-510 - 1986
- [c4]Benjamin N. Grosof:
Non-monotonicity in probabilistic reasoning. UAI 1986: 237-250 - 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]Benjamin N. Grosof:
Default Reasoning as Circumscription. NMR 1984: 115-124
Parts in Books or Collections
- 2023
- [p1]Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236
Informal and Other Publications
- 2013
- [i5]Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. CoRR abs/1302.4951 (2013) - [i4]Benjamin N. Grosof:
Non-Monotonicity in Probabilistic Reasoning. CoRR abs/1304.3087 (2013) - [i3]Benjamin N. Grosof:
An Inequality Paradigm for Probabilistic Knowledge. CoRR abs/1304.3418 (2013) - [i2]Benjamin N. Grosof:
Evidential Confirmation as Transformed Probability. CoRR abs/1304.3439 (2013) - [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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
