wyszukanych pozycji: 4
Logic, Language, Information, and Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings
ISBN: 9783662477083 / Angielski / Miękka / 2015 / 201 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
153,15 zł |
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work
ISBN: 9789400775473 / Angielski / Twarda / 2014 / 279 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed... This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented a... |
|
cena:
497,71 zł |
Journal of Applied Logics, Volume 8, Number 8, September 2021. Special issue: Intuitionistic Modal Logic and Applications
ISBN: 9781848903777 / Angielski / Miękka / 2021 / 112 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
82,57 zł |
Inheritance, Defaults and the Lexicon
ISBN: 9780521028059 / Angielski / Miękka / 2006 / 308 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Inheritance has been used in AI knowledge representation for many years. Until recently, however, it had not been much exploited in linguistic representation. This collection describes how the lexicon may be structured using inheritance. The papers are mostly formal in orientation, mainly concentrating on unification-based systems (which nowadays form the basis for most theoretically motivated work on NLP, and for current linguistic theories such as HPSG) and discuss syntax and morphology as well as lexical semantics. The formalization of default inheritance, in particular, is discussed in...
Inheritance has been used in AI knowledge representation for many years. Until recently, however, it had not been much exploited in linguistic represe...
|
|
cena:
257,97 zł |