Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Generality in artificial intelligence
Communications of the ACM
Artificial Intelligence - Special volume on natural language processing
Compositionality of normal open logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
On the Representation of Context
Journal of Logic, Language and Information
Open Theories and Abduction for Context and Accommodation
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Open Theories and Abduction for Context and Accommodation
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Hi-index | 0.00 |
A model is proposed for the representation of context by means of open logic theories parameterized by metavariables covered by constraints. The model is formalized and implemented using constraint logic and metalogic programming notions. Accommodation, understood as the process of extracting presuppositions embedded in a discourse or, in general, extracting the contents embedded in a stream of observations, fits naturally into this model as abduction. A possible worlds' semantics is given similar to a proposal given by Stalnaker.