1999

• LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control

1998

• Mobile Threads through First Order Continuations

1997

• Logic Programming Tools for Advanced Internet Programming
• A Logic Programming Infrastructure for Internet Programming, Mobile Code and Agents
• Assumption Grammars: Parsing as Hypothetical Reasoning
• LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control

1996

• Virtual World Brokerage with BinProlog and Netscape
• A Novel Term Compression Scheme and Data Representation in the BinWAM
• Monadic Constructs for Logic Programming
• Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars
• Logic Programming and Logic Grammars with Binarization and First-order Continuations
• A Hypothetical Reasoning Framework for Natural Language Processing