Michael Kassoff

Me


I was a Computer Science Ph.D. student at Stanford. I was a member of the Logic Group. My advisor was Michael Genesereth.

My research centered around Logical Spreadsheets.

View my LinkedIn profile.


Contact Information

Email: mkassoff@cs.stanford.edu


Publications

Michael Kassoff, "Logical Spreadsheets," PhD Dissertation, Stanford University, August 2011.

Michael Kassoff and Michael Genesereth, "Paraconsistent Inference from Data using Existential Omega-Entailment," Data, Logic and Inconsistency, 2011.

Michael Kassoff and Michael Genesereth, "The Markov Reformulation Theorem," Symposium on Abstraction, Reformulation, and Approximation 2011, pp. 70-74.

Michael Kassoff, Charles Petrie, Lee-Ming Zen, Michael Genesereth, "Semantic Email Addressing: The Semantic Web Killer App?," IEEE Internet Computing, January/February 2009, pp. 48-55.

Michael Kassoff and Andre Valente, "An Introduction to Logical Spreadsheets." Knowledge Engineering Review, Cambridge University Press, Volume 22, Issue 3, September 2007, pp. 213-219.

Michael Kassoff and Michael R. Genesereth, "PrediCalc: A Logical Spreadsheet Management System." Knowledge Engineering Review, Cambridge University Press, Volume 22, Issue 3, September 2007, pp. 281-295.

Michael Kassoff, Charles Petrie, Lee-Ming Zen, and Michael Genesereth, "Semantic Email Addressing: Sending Email to People, Not Strings," AAAI 2006 Fall Symposium on Integrating Reasoning into Everyday Applications.

Michael Kassoff, Lee-Ming Zen, Ankit Garg, and Michael Genesereth, "PrediCalc: A Logical Spreadsheet Management System," 31st International Conference on Very Large Databases (VLDB), Trondheim, Norway, 2005, 1247-1250.

Michael Kassoff, Daishi Kato, and Waqar Mohsin, "Creating GUIs for Web Services," IEEE Internet Computing, September/October 2003, Vol 7, No. 4, 66-73.

Charles J. Petrie, Michael R. Genesereth, Hans Bjornsson, Rada Chirkova, Martin Ekstrom, Hidehito Gomi, Tim Hinrichs, Rob Hoskins, Michael Kassoff, Daishi Kato, Kyohei Kawazoe, Jung Ung Min, and Waqar Mohsin, "Adding AI to Web Services," in Luder van Elst, Virginia Dignum, and Andreas Abecker (Eds.), Agent Mediated Knowledge Management, LNAI 2926, Springer 2004, 322-338.


Patents

Michael Genesereth, Michael Kassoff, and Nathaniel C. Love, "Logical Spreadsheets", US. Pat. No.: 7707486, 2010.


Committees

Program Committee, AAAI 2010 Spring Symposium on Linked Data Meets Artificial Intelligence

Program Committee, First Workshop on Web Scale Infrastructures for Semantic Mashup, Search and Retrieval

Program Committee, AAAI-07

Chair, AAAI 2006 Symposium on Integrating Reasoning into Everyday Applications

Organization Committee, Workshop on Logical Spreadsheets (WOLS'05)


Invited Talks

Logical Spreadsheets - SRI Artificial Intelligence Center, August 1, 2006.


Press

"Spreadsheets using logic instead of math may revolutionize data management," Stanford Report, April 25, 2007. By Chelsea Young.


Teaching

I was the teaching assistant for CS246, Information Integration, in Fall 2001 and Spring 2003.

I was the teaching assistant for CS194, Senior Project, in Spring 2007 and Spring 2009.