ask others

Benjamin N. Grosof

Benjamin Nathan Grosof

> Home > Persons

Person information

affiliation: MIT, Cambridge, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c41]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ruleml/GrosofKF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/GrosofKF17
Benjamin N. Grosof, Michael Kifer, Paul Fodor:
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) 2017
2016
[c40]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/nesy/Grosof16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nesy/Grosof16
Benjamin N. Grosof:
High-Power Logical Representation via Rulelog, for Neural-Symbolic. NeSy@HLAI 2016
2015
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/semweb/WanKG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/semweb/WanKG15
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ruleml/GrosofBFKGCS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/GrosofBFKGCS15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rweb/GrosofKF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rweb/GrosofKF15
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]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/GrosofS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/GrosofS13
Benjamin Nathan Grosof, Terrance Swift:
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. AAAI 2013
[c36]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ruleml/AndersenBCDFGKLS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/AndersenBCDFGKLS13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ruleml/Grosof13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/Grosof13
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1302-4951
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4951
Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. CoRR abs/1302.4951 (2013)
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1304-3087
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1304-3087
Benjamin N. Grosof:
Non-Monotonicity in Probabilistic Reasoning. CoRR abs/1304.3087 (2013)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1304-3418
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1304-3418
Benjamin N. Grosof:
An Inequality Paradigm for Probabilistic Knowledge. CoRR abs/1304.3418 (2013)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1304-3439
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1304-3439
Benjamin N. Grosof:
Evidential Confirmation as Transformed Probability. CoRR abs/1304.3439 (2013)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AndersenBCDFGKLS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AndersenBCDFGKLS13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ruleml/Grosof11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/Grosof11
Benjamin N. Grosof:
Recent Advances in the SILK Knowledge Representation and Its Usage. RuleML America 2011: 13
2010
[j9]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - journals/aim/GunningCCBCGGLMMPPSTT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aim/GunningCCBCGGLMMPPSTT10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rr/WanKG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rr/WanKG10
Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in Answer Set Programs via Argumentation Theories. RR 2010: 149-163
[c32]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ruleml/GrosofADK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/GrosofADK10
Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer:
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge 2010
[c31]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ruleml/GrosofBDABFIS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/GrosofBDABFIS10
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/semweb/GrosofBDABFIS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/GrosofBDABFIS10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iclp/WanGKFL09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iclp/WanGKFL09
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang:
Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rr/Grosof09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rr/Grosof09
Benjamin N. Grosof:
SILK: Higher Level Rules with Defaults and Semantic Scalability. RR 2009: 24-25
2007
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/itm/FiratMG07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/itm/FiratMG07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ruleml/BhansaliG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ruleml/BhansaliG05
Sumit Bhansali, Benjamin N. Grosof:
Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML. RuleML 2005: 113-129
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/semweb/OConnorKTGDGM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/OConnorKTGDGM05
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]
- view
  - electronic edition @ w3.org
- export record
  dblp key:
  - conf/w3c/BoleyDGKTW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/w3c/BoleyDGKTW05
Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005
[c24]
- view
  - electronic edition @ w3.org
- export record
  dblp key:
  - conf/w3c/GrosofKM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/w3c/GrosofKM05
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ecra/Grosof04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ecra/Grosof04
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijecommerce/GrosofP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijecommerce/GrosofP04
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/expert/HorrocksADKGW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/expert/HorrocksADKGW03
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/tissec/LiGF03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tissec/LiGF03
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/www/GrosofHVD03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/GrosofHVD03
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker:
Description logic programs: combining logic programs with description logic. WWW 2003: 48-57
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/www/GrosofP03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/GrosofP03
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ci/ReevesWG02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ci/ReevesWG02
Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof:
Automated Negotiation from Declarative Contract Descriptions. Computational Intelligence 18(4): 482-500 (2002)
[c21]
- view
  - electronic edition @ aisnet.org
- export record
  dblp key:
  - conf/icis/FiratMG02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icis/FiratMG02
Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof:
Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. ICIS 2002: 17
[c20]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/rml/GrosofGF02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rml/GrosofGF02
Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. Finin:
SweetJess: Translating DAMLRuleML to JESS. RuleML 2002
[c19]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/rml/GrosofP02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rml/GrosofP02
Benjamin N. Grosof, Terrence C. Poon:
Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. RuleML 2002
2001
[j2]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aim/LesperanceWBBNWAFGJHGGHSKMDGMBM01
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/agents/ReevesWG01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agents/ReevesWG01
Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof:
Automated negotiation from declarative contract descriptions. Agents 2001: 51-58
2000
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/agentCL/GrosofL00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agentCL/GrosofL00
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sp/LiGF00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sp/LiGF00
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

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c15]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/Grosof99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/Grosof99
Benjamin N. Grosof:
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. AAAI/IAAI 1999: 912-913
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/LiFG99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csfw/LiFG99
Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof:
A Logic-based Knowledge Representation for Authorization with Delegation. CSFW 1999: 162-174
[c13]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigecom/GrosofLC99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sigecom/GrosofLC99
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cia/KephartHLGSSW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cia/KephartHLGSSW98
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icmas/KephartHLGSSW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icmas/KephartHLGSSW98
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]
- no documents available
- export record
  dblp key:
  - conf/slp/Grosof97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/slp/Grosof97
Benjamin N. Grosof:
Prioritized Conflict Handling for Logic Programs. ILPS 1997: 197-211
1995
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/wc/ChessGHLPT95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/wc/ChessGHLPT95
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]
- view
  - electronic edition @ dslpitt.org
- export record
  dblp key:
  - conf/uai/Grosof95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uai/Grosof95
Benjamin N. Grosof:
Transforming Prioritized Defaults and Specificity into Parallel Defaults. UAI 1995: 217-228
1991
[c8]
- no documents available
- export record
  dblp key:
  - conf/kr/Grosof91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kr/Grosof91
Benjamin N. Grosof:
Generalizing Prioritization. KR 1991: 289-300

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c7]
- no documents available
- export record
  dblp key:
  - conf/icml/GrosofR89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icml/GrosofR89
Benjamin N. Grosof, Stuart J. Russell:
Declarative Bias for Structural Domains. ML 1989: 480-482
[c6]
- view
  - electronic edition @ dslpitt.org
- export record
  dblp key:
  - conf/uai/Grosof89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uai/Grosof89
Benjamin N. Grosof:
Defeasible Reasoning and Uncertainty: Comments. UAI 1989: 61-66
1987
[c5]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/RussellG87
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/RussellG87
Stuart J. Russell, Benjamin N. Grosof:
A Declarative Approach to Bias in Concept Learning. AAAI 1987: 505-510
1986
[c4]
- view
  - electronic edition @ dslpitt.org
- export record
  dblp key:
  - conf/uai/Grosof86
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uai/Grosof86
Benjamin N. Grosof:
Non-monotonicity in probabilistic reasoning. UAI 1986: 237-250
1985
[c3]
- view
  - electronic edition @ dslpitt.org
- export record
  dblp key:
  - conf/uai/Grosof85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uai/Grosof85
Benjamin N. Grosof:
Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates. UAI 1985: 153-166
[c2]
- view
  - electronic edition @ dslpitt.org
- export record
  dblp key:
  - conf/uai/Grosof85a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uai/Grosof85a
Benjamin N. Grosof:
An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals. UAI 1985: 259-278
1984
[c1]
- no documents available
- export record
  dblp key:
  - conf/nmr/Grosof84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/nmr/Grosof84
Benjamin N. Grosof:
Default Reasoning as Circumscription. NMR 1984: 115-124

Coauthor Index

see FAQ

maintained by

at