: Formalizing planning knowledge for hierarchical planning.
: A predictive approach for the generation of rhetorical devices.
: Intelligent computer-aided-design systems: a synergical approach of artificial intelligence and engineering.
: Reversible logic grammars for natural language parsing and generation.
Joseph Y. Halpern
: Let many flowers bloom: a response to An inquiry into computer understanding e.
: On the importance of evidence: a response to Halpern.
: Modeling the user's conceptual knowledge in BGP-MS, a user modeling shell system.
: Lp, a logic for representing and reasoning with statistical knowledge.