عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9789048154722
شابک
9789401593977
شماره کتابشناسی ملی
شماره
b408420
عنوان و نام پديدآور
عنوان اصلي
Formal Aspects of Context
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht :
نام ناشر، پخش کننده و غيره
Imprint: Springer,
تاریخ نشرو بخش و غیره
2000.
فروست
عنوان فروست
Applied Logic Series,
مشخصه جلد
20
شاپا ي ISSN فروست
1386-2790 ;
یادداشتهای مربوط به مندرجات
متن يادداشت
Formal and Computational Models of Context for Natural Language Generation -- Requirements for Dialogue Context Modelling -- Contextual Constraints on Thematization in Written Discourse: An Empirical Study -- Context and Implicitness: Consequences for Traditional and Computer-assisted Text Analysis -- A Context-based Mechanization of Multi-agent Reasoning -- Presuppositions in Context: Constructing Bridges -- Reasoning with Multilevel Contexts in Semantic Metanetworks -- Contextual Learning: Towards using Contexts to Achieve Generality -- Contextual Deontic Logic: Violation Contexts and Factual Defeasibility -- A Local Models Semantics for Propositional Attitudes -- Context-based Semantics for Information Integration -- Structured Contexts with Fibred Semantics.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9789048154722
قطعه
عنوان
Springer eBooks
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General).
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Bonzon, Pierre.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Cavalcanti, Marcos.
مستند نام اشخاص تاييد نشده
Nossum, Rolf.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20190301082100.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
