KSL-97-01 + redirect page
Putting Context Logic into Practice + Has identifier
Putting Context Logic into Practice + Ksl tr id
Putting Context Logic into Practice + Number
| Putting Context Logic into Practice |
Bibtype
techreport
Has publishing details
January,1997
Has title
Putting Context Logic into Practice
Has where published
KSL-97-01
Has year
1997
Title
Putting Context Logic into Practice
Year
1997
Abstract
A growing emphasis on information integrat … A growing emphasis on information integration and agent interaction is pushing the boundaries of existing approaches to knowledge representation, which lack the ability to represent explicitly the relationships between different views of the world. In order to address this need, researchers have been developing new logics that explicitly characterize the context in which a statement is true. We show how context logic can be translated into standard first order logic. This enables researchers and practitioners to exploit this new representational technology in their applications by using existing, standard inference tools. using existing, standard inference tools.
Address
Stanford, CA, USA +
Author
Adam Farquhar and Sasa Buvac +
Has author
Adam Farquhar and Sasa Buvac +
Has identifier
Putting Context Logic into Practice +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Putting Context Logic into Practice +
Month
January +
Number
Putting Context Logic into Practice +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
