Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
Papers from the 2006 AAAI Spring Symposium
Chitta Baral Program Chair
Technical Report SS-06-05. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Organizing Committee / iii
Chitta Baral
Regular Papers
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming / 1
Saadat Anwar, Chitta Baral, and Juraj Dzifcak
From WordNet to a Knowlege Base / 10
Peter Clark, Phil Harrison, Tom Jenkins, John Thompson, and Rick Wojcik
A Tool for Knowledge Base Integration and Querying / 16
Omar Elkhatib, Enrico Pontelli, and Tran Cao Son
Building a Repository of Background Knowledge Using Semantic Skeletons / 22
Boris Galitsky
A Knowledge Module: Buying and Selling / 28
Joohyung Lee and Vladimir Lifschitz
Towards a Modular Action Description Language / 33
Vladimir Lifschitz and Wanwan Ren
An Introduction to the Syntax and Content of Cyc / 44
Cynthia Matuszek, John Cabral, Michael Witbrock, and John DeOliveira
Combining Logical and Probabilistic Reasoning / 50
Michael Gelfond, Nelson Rushton, and Weijun Zhu
Going Places: Notes on a Modular Development of Knowledge about Travel / 56
Michael Gelfond
Short Papers
Hierarchical Task Libraries in (Con) Golog / 67
Alfredo Gabaldon
Development of a Background Knowledge-Base about Shipping and Smuggling / 72
Richard Scherl