"International and Interdisciplinary Conference on Modeling and Using Context (1a : 1997 : Rio de Janeiro)" . . . . . "Simulació per ordinador Congressos." . . "Logic, Symbolic and mathematical." . . "Semantisches Netz." . . "Electronic books" . . . "The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presented there, thoroughly refereed and revised. The treatment of contexts as bona fide objects of logical formalisation has gained wide acceptance, following the seminal impetus given by McCarthy in his Turing Award address. The field of natural language offers a particularly rich variety of examples and challenges to researchers concerned with the formal modelling of context, and several chapters in the volume deal with contextualisation in the setting of natural language. Others adopt a purely formal-logical viewpoint, seeking to develop general models of even wider applicability. The 12 chapters are organised in three groups: formalisation of contextual information in natural language understanding and generation, the application of context in mechanised reasoning domains, and novel non-classical logics for contextual application." . . . . . . . . . . . . . . . . . . . . . "Formal aspects of context" . "Formal aspects of context"@en . . . . . . . . . "Congressen (vorm)" . . "Formal Aspects of Context" . . . . . . . . . . . . . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . . . . . . . . "Programación lógica." . . "Mathematical Logic and Foundations." . . "Philosophy (General)" . . "Rio de Janeiro <1997>" . . "Rio de Janeiro <1997>." . "Context Congressos." . . "Elaboratori elettronici - Modelli di simulazione." . . "Kontext." . . "Philosophy." . . "Artificial intelligence." . . "Artificial Intelligence (incl. Robotics)" . . "International and Interdisciplinary Conference on Modelling and Using Context (1 : 1997 : Rio de Janeiro)" . . . "simulation par ordinateur." . . "Computerlinguïstiek." . . "Simulation par ordinateur Logiciels." . . "Linguistische Datenverarbeitung." . . "Logic." . . "Contexte (linguistique)" . . "Contesto (Linguistica)" . .