Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering

Contents

• Towards a Modular Action Description Language

  Vladimir Lifschitz, Wanwan Ren

  PDF

• Combining Logical and Probabilistic Reasoning

  Michael Gelfond, Nelson Rushton, Weijun Zhu

  PDF

• A Tool for Knowledge Base Integration and Querying

  Omar Elkhatib, Enrico Pontelli, Tran Cao Son

  PDF

• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming

  Chitta Baral, Saadat Anwar, Juraj Dzifca

  PDF

• A Knowledge Module: Buying and Selling

  Joohyung Lee, Vladimir Lifschitz

  PDF

• Development of a Background Knowledge-Base about Shipping and Smuggling

  Richard Scherl

  PDF

• Going Places — Notes on a Modular Development of Knowledge about Travel

  Michael Gelfond

  PDF

• An Introduction to the Syntax and Content of Cyc

  Cynthia Matuszek, John Cabral, Michael Witbrock, John DeOliveira

  PDF

• From WordNet ot a Knowledge Base

  Peter Clark, Phil Harrison, Tom Jenkins, John Thompson, Rick Wojcik

  PDF

• Contents

  Chitta Baral

  PDF

• Hierarchical Task Libraries in (Con)Golog

  Alfredo Gabaldon

  PDF

• Organizing Committee

  Chitta Baral

  PDF

• Building a Repository of Background Knowledge Using Semantic Skeletons

  Boris Galitsky

  PDF