Benjamin N. Grosof

According to our database1, Benjamin N. Grosof authored at least 52 papers between 1984 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
PLOW: Probabilistic Logic Over the Well-Founded Semantics.
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.
Proceedings of the Doctoral Consortium, 2017

2016
High-Power Logical Representation via Rulelog, for Neural-Symbolic.
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.
Semantic Web, 2015

The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation).
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.
Proceedings of the RuleML 2015 Challenge, 2015

2013
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk).
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

Advanced Knowledge Base Debugging for Rulelog.
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2011
Recent Advances in the SILK Knowledge Representation and Its Usage.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

2010
Project Halo Update - Progress Toward Digital Aristotle.
AI Magazine, 2010

A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.
Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, 2010

A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example.
Proceedings of the RuleML-2010 Challenge, 2010

Omni-directional Hyper Logic Programs in SILK and RIF.
Proceedings of the RuleML-2010 Challenge, 2010

Defeasibility in Answer Set Programs via Argumentation Theories.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

2009
SILK: Higher Level Rules with Defaults and Semantic Scalability.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Logic Programming with Defaults and Argumentation Theories.
Proceedings of the Logic Programming, 25th International Conference, 2009

2007
Contextual alignment of ontologies in the eCOIN semantic interoperability framework.
Information Technology and Management, 2007

2005
Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

RuleML Position Statement.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Supporting Rule System Interoperability on the Semantic Web with SWRL.
Proceedings of the Semantic Web, 2005

Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML.
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.
Int. J. Electronic Commerce, 2004

Representing e-commerce rules via situated courteous logic programs in RuleML.
Electronic Commerce Research and Applications, 2004

2003
Delegation logic: A logic-based approach to distributed authorization.
ACM Trans. Inf. Syst. Secur., 2003

Where Are the Rules?
IEEE Intelligent Systems, 2003

SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Description logic programs: combining logic programs with description logic.
Proceedings of the Twelfth International World Wide Web Conference, 2003

2002
Automated Negotiation from Declarative Contract Descriptions.
Computational Intelligence, 2002

Representing Agent Contracts with Exceptions using XML Rules, Ontologies, and Process Descriptions.
Proceedings of the RuleML 2002, 2002

SweetJess: Translating DAMLRuleML to JESS.
Proceedings of the RuleML 2002, 2002

Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems.
Proceedings of the International Conference on Information Systems, 2002

2001
AAAI 2000 Workshop Reports.
AI Magazine, 2001

Automated negotiation from declarative contract descriptions.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
A Practically Implementable and Tractable Delegation Logic.
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.
Proceedings of the Issues in Agent Communication, 2000

1999
A declarative approach to business rules in contracts: courteous logic programs in XML.
Proceedings of the First ACM Conference on Electronic Commerce (EC-99), 1999

A Logic-based Knowledge Representation for Authorization with Delegation.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications.
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.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Dynamics of an Information-Filtering Economy.
Proceedings of the Cooperative Information Agents II, 1998

1997
Prioritized Conflict Handling for Logic Programs.
Proceedings of the Logic Programming, 1997

1995
Itinerant agents for mobile computing.
IEEE Personal Commun., 1995

Transforming Prioritized Defaults and Specificity into Parallel Defaults.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

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

1989
Defeasible Reasoning and Uncertainty: Comments.
Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989

Declarative Bias for Structural Domains.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

1987
A Declarative Approach to Bias in Concept Learning.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Non-monotonicity in probabilistic reasoning.
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.
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.
Proceedings of the UAI '85: Proceedings of the First Annual Conference on Uncertainty in Artificial Intelligence, 1985

1984
Default Reasoning as Circumscription.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984


  Loading...