Activities (Selected)

• Chairing symposia/workshops/consortia
• Commonsense-2009: The Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (with Gerhard Lakemeyer and Mary-Anne Williams)
• NRAC-05: The Sixth Workshop on Nonmonotonic Reasoning, Action, and Change, at IJCAI-05 (with Maurice Pagnucco)
• Doctoral Consortium, KR 2004: The Doctoral Consortium at the Ninth International Conference on Principles of Knowledge Representation and Reasoning (with Sheila McIlraith). (Poster session presentation for the Doctoral Consortium can be found here).
• Common Sense 2001: The Fifth International Symposium on Logical Formalizations of Commonsense Reasoning (with Ernest Davis, John McCarthy, and Ray Reiter)
• BISFAI 99: The Sixth Bar-Ilan Symposium on Foundations of AI (with Solomon Eyal Shimony)
• Commonsense 1991: the First International Symposium on Logical Formalizations of Commonsense Reasoning (with Vladimir Lifschitz and John McCarthy)
• Editing special issues of journals:
  • Artificial Intelligence, Special Issue in Honor of John McCarthy (with Vladimir Lifschitz and Sheila McIlraith), in preparation
  • Artificial Intelligence, 153(1-2), 2004: Special Issue on Logical Formalizations of Commonsense Reasoning: extended papers from Common Sense 2001 (with Ernest Davis)
  • Annals of Mathematics and Artificial Intelligence 39(1-2), 2003: extended papers from BISFAI 99 (with Solomon Eyal Shimony)
• Editorial boards:
  • Journal of Artificial Intelligence Research, 2006 -- present
  • Annals of Mathematics and Artificial Intelligence, 1999 -- present
  • AI Magazine, 2000 -- 2007
  • Electronic Transactions of AI, 1997 -- present
• Standards Board:
  • Member, W3C Rules Interchange Format (RIF) Working Group, 2006-present
• Advisory Boards:
  • Member, KR, Inc., The Principles of Knowledge Representation and Reasoning, 2004-2006
  • Chair, IBM AI Professional Interest Community, 2000-2002
• Program committees:
  • Senior Program Committee Member:
    • AAAI, 2007 (two nominations for best SPC member), 2006
  • Program Committee Member:
    • AAAI (Annual Conference of AAAI), 2008, 2004
    • KR (Principles of Knowledge Representation and Reasoning), 2008, 2006, 2004, 2002, 1998
    • IJCAI (International Joint Conference on Artificial Intelligence), 1993
    • NRAC (Workshop on Nonmonotonic Reasoning, Action, and Change), 2007, 2003, 1999, 1997
    • BISFAI (Bar-Ilan Symposium on Foundations of Artificial Intelligence), 2005, 1997, 1993
    • CLIMA (Computational Logic in Multi-Agent Systems), 2008, 2007, 2006, 2005, 2004, 2003