Benjamin N. Grosof

62 papers A* 5A 5B 1C 1Misc 1Journal 17Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Community-driven vision for a new Knowledge Resource for AI. CoRR Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025	J	`jnl`	A community-driven vision for a new knowledge resource for AI. AI Mag. Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2023	—	`ch.`	Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield
2019	—	`conf`	PLOW: Probabilistic Logic Over the Well-Founded Semantics. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering Benjamin N. Grosof, Theresa Swift
2017	—	`conf`	Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) Benjamin N. Grosof, Michael Kifer, Paul Fodor
2016	—	`conf`	High-Power Logical Representation via Rulelog, for Neural-Symbolic. NeSy@HLAI Benjamin N. Grosof
2015	—	`conf`	Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
2015	J	`jnl`	Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web Hui Wan, Michael Kifer, Benjamin N. Grosof
2015	—	`conf`	The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web Benjamin N. Grosof, Michael Kifer, Paul Fodor
2013	—	`conf`	Advanced Knowledge Base Debugging for Rulelog. RuleML (2) Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013	J	`jnl`	An Inequality Paradigm for Probabilistic Knowledge CoRR Benjamin N. Grosof
2013	J	`jnl`	Evidential Confirmation as Transformed Probability CoRR Benjamin N. Grosof
2013	J	`jnl`	Non-Monotonicity in Probabilistic Reasoning CoRR Benjamin N. Grosof
2013	—	`conf`	Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk). RuleML Benjamin N. Grosof
2013	J	`jnl`	Transforming Prioritized Defaults and Specificity into Parallel Defaults CoRR Benjamin N. Grosof
2013	J	`jnl`	Understanding Rulelog Computations in Silk. CoRR Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2011	—	`conf`	Recent Advances in the SILK Knowledge Representation and Its Usage. RuleML America Benjamin N. Grosof
2010	—	`conf`	A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. RuleML Challenge Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro
2010	—	`conf`	A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. ISWC (Posters & Demos) Benjamin N. Grosof, Mark H. Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro
2010	—	`conf`	Defeasibility in Answer Set Programs via Argumentation Theories. RR Hui Wan, Michael Kifer, Benjamin N. Grosof
2010	—	`conf`	Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer
2010	J	`jnl`	Project Halo Update - Progress Toward Digital Aristotle. AI Mag. 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
2009	B	`conf`	Logic Programming with Defaults and Argumentation Theories. ICLP Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009	—	`conf`	SILK: Higher Level Rules with Defaults and Semantic Scalability. RR Benjamin N. Grosof
2007	J	`jnl`	Contextual alignment of ontologies in the eCOIN semantic interoperability framework. Inf. Technol. Manag. Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof
2005	—	`conf`	Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML. RuleML Sumit Bhansali, Benjamin N. Grosof
2005	—	`conf`	RuleML Position Statement. Rule Languages for Interoperability Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner
2005	—	`conf`	Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. Rule Languages for Interoperability Benjamin N. Grosof, Michael Kifer, David L. Martin
2005	Misc	`conf`	Supporting Rule System Interoperability on the Semantic Web with SWRL. ISWC Martin J. O'Connor, Holger Knublauch, Samson W. Tu, Benjamin N. Grosof, Mike Dean, William E. Grosso, Mark A. Musen
2004	J	`jnl`	Representing e-commerce rules via situated courteous logic programs in RuleML. Electron. Commer. Res. Appl. Benjamin N. Grosof
2004	J	`jnl`	SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions. Int. J. Electron. Commer. Benjamin N. Grosof, Terrence C. Poon
2003	J	`jnl`	Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur. Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
2003	A*	`conf`	Description logic programs: combining logic programs with description logic. WWW Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker
2003	A*	`conf`	SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. WWW Benjamin N. Grosof, Terrence C. Poon
2003	J	`jnl`	Where Are the Rules? IEEE Intell. Syst. Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner
2002	J	`jnl`	Automated Negotiation from Declarative Contract Descriptions. Comput. Intell. Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof
2002	C	`conf`	Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems. ICIS Aykut Firat, Stuart E. Madnick, Benjamin N. Grosof
2002	—	`conf`	Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions. RuleML Benjamin N. Grosof, Terrence C. Poon
2002	—	`conf`	SweetJess: Translating DAMLRuleML to JESS. RuleML Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. Finin
2001	J	`jnl`	AAAI 2000 Workshop Reports. AI Mag. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt 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
2001	—	`conf`	Automated negotiation from declarative contract descriptions. Agents Daniel M. Reeves, Michael P. Wellman, Benjamin N. Grosof
2000	—	`conf`	A Practically Implementable and Tractable Delegation Logic. S&P Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
2000	—	`conf`	An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language. Issues in Agent Communication Benjamin N. Grosof, Yannis Labrou
1999	—	`conf`	A Logic-based Knowledge Representation for Authorization with Delegation. CSFW Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof
1999	A*	`conf`	A declarative approach to business rules in contracts: courteous logic programs in XML. EC Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan
1999	—	`conf`	DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications. AAAI/IAAI Benjamin N. Grosof
1998	—	`conf`	Dynamics of an Information-Filtering Economy. CIA Jeffrey O. Kephart, James E. Hanson, David W. Levine, Benjamin N. Grosof, Jakka Sairamesh, Richard B. Segal, Steve R. White
1998	—	`conf`	Emergent Behavior in Information Economies. ICMAS Jeffrey O. Kephart, James E. Hanson, Deffrey O. Levine, Benjamin N. Grosof, Jakka Sairamesh, Richard B. Segal, Steve R. White
1997	—	`conf`	Building Commercial Agents: an IBM Research Perspective. PAAM Benjamin N. Grosof
1997	—	`conf`	Prioritized Conflict Handling for Logic Programs. ILPS Benjamin N. Grosof
1995	J	`jnl`	Itinerant agents for mobile computing. IEEE Wirel. Commun. David M. Chess, Benjamin N. Grosof, Colin G. Harrison, David W. Levine, Colin Parris, Gene Tsudik
1995	—	`conf`	Reusable Architecture for Embedding Rule-based Intelligence in Information Agents. CIKM Information Agents Workshop Benjamin N. Grosof, David W. Levine, Hoi Y. Chan, Colin Parris, Joshua S. Auerbach
1995	A	`conf`	Transforming Prioritized Defaults and Specificity into Parallel Defaults. UAI Benjamin N. Grosof
1992	—	`—`	Updating and structure in non-monotonic theories. Benjamin N. Grosof
1991	A*	`conf`	Generalizing Prioritization. KR Benjamin N. Grosof
1989	—	`conf`	Declarative Bias for Structural Domains. ML Benjamin N. Grosof, Stuart J. Russell
1989	A	`conf`	Defeasible Reasoning and Uncertainty: Comments. UAI Benjamin N. Grosof
1987	A*	`conf`	A Declarative Approach to Bias in Concept Learning. AAAI Stuart J. Russell, Benjamin N. Grosof
1986	A	`conf`	Non-monotonicity in probabilistic reasoning. UAI Benjamin N. Grosof
1985	A	`conf`	An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals. UAI Benjamin N. Grosof
1985	A	`conf`	Evidential Confirmation as Transformed Probability: On the Duality of Priors and Updates. UAI Benjamin N. Grosof
1984	—	`conf`	Default Reasoning as Circumscription. NMR Benjamin N. Grosof