Concepedia

Benjamin N. Grosof

BN

38

Publications

3.4K

Citations

25

H-Index

1984

Active since

Affiliations

Massachusetts Institute of Technology(Current)

AT&T (United States)

Oracle (United States)

IBM Research - Thomas J. Watson Research Center

IBM (United States)

Benjamin N. Grosof is an author at Massachusetts Institute of Technology specializing in engineering, automated reasoning, and semantics.

Top concepts

EngineeringSemanticsAutomated ReasoningFormal MethodsKnowledge RepresentationSemantic WebComputer ScienceFormal VerificationOntology EngineeringData Integration

Publications per year

1984–2015

38

Publications

38

Description Logic Programs: Combining Logic Programs with Description Logic

Benjamin N. Grosof, Ian Horrocks, Raphael Volz et al. · SSRN Electronic Journal · 2003 · 810 citations · Full text

Delegation logic

Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum · ACM Transactions on Information and System Security · 2003 · 422 citations

Language Datalog, Engineering, Logical Access Control +14

Itinerant agents for mobile computing

David M. Chess, Benjamin N. Grosof, Colin Harrison et al. · IEEE Personal Communications · 1995 · 407 citations

Engineering, Information Security, Agent Communication Language +16

Description logic programs

Benjamin N. Grosof, Ian Horrocks, Raphael Volz et al. · 2003 · 347 citations

Knowledge Representation, Engineering, Semantic Web Approaches +15

SweetDeal

Benjamin N. Grosof, T.C. Poon · 2003 · 104 citations

Knowledge Representation, Web Service Specification, Engineering +12

Rows per page

1–5 of 38