Semantic Web Dog Food

Homepage: http://www.cs.sunysb.edu/~kifer
Affiliation: State University of New York at Stony Brook (at ESWC2007, ESWC2008, ISWC2008, WWW2009)
Affiliation: Stony Brook University (at ISWC2009)
Affiliation: State University of New York (at RR2008)
Affiliation: Stony Brook University, New York (U.S.A.) (at RR2009)

The following publications of Michael Kifer are available:

• WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic (at ESWC2008)
• Semantic Web Service Choreography: Contracting and Enactment (at ISWC2008)
• The SILK System: Scalable and Expressive Semantic Rules (at ISWC2009)
• Defeasibility in Answer Set Programs via Argumentation Theories (at RR2010)
• Representing L1 Domain Descriptions as Partially Defined Actions of Transaction Logic (at RR2011)
• Reasoning with Actions in Transaction Logic (at RR2011)
• OpenRuleBench: An Analysis of the Performance of Rule Engines (at WWW2009)

We also know of the following roles that Michael Kifer played:

• Steering Committee (at RR2008)
• Invited Speaker (at RR2008)
• General Chair (at RR2009)
• Steering Committee (at RR2009)

Resource URI on the dog food server: http://data.semanticweb.org/person/michael-kifer
Email Hash: 1d65460e480f36e611ceea2b522450c389c09756
Same as: http://semanticweb.org/id/Michael_Kifer