( en | de | ru )

 

Disambiguation of "Grosof, Benjamin N."

Author of the publication

copydeleteadd this publication to your clipboard
A Practically Implementable and Tractable Delegation Logic.

, , and . S&P, page 27-42. IEEE Computer Society, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benjamin N Lotz

n n n

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

 

Other publications of authors with the same name

Default Reasoning as Circumscription.. NMR, page 115-124. American Association for Artificial Intelligence (AAAI), (1984)SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions., and . WWW, page 340-349. ACM, (2003)Recent Advances in the SILK Knowledge Representation and Its Usage.. RuleML America, volume 7018 of Lecture Notes in Computer Science, page 13. Springer, (2011)Courteous Logic Programs: Prioritized Conflict Handling for Rules. Reserach Report, RC20836. IBM, (1997)Understanding Rulelog Computations in Silk., , , , , , , , and . CoRR, (2013)Ergo: A Quest for Declarativity in Logic Programming., , , , and . Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)An Inequality Paradigm for Probabilistic Knowledge: The Logic of Conditional Probability Intervals.. UAI, page 259-278. Elsevier, (1985)A Declarative Approach to Bias in Concept Learning., and . AAAI, page 505-510. Morgan Kaufmann, (1987)A Practically Implementable and Tractable Delegation Logic., , and . S&P, page 27-42. IEEE Computer Society, (2000)Logic Programming with Defaults and Argumentation Theories., , , , and . ICLP, volume 5649 of Lecture Notes in Computer Science, page 432-448. Springer, (2009)