Valeria de Paiva – författare

Visar alla böcker från författaren Valeria de Paiva. Handla med fri frakt och snabb leverans.

11 produkter

Kategorier

11 produkter

Inheritance, Defaults and the Lexicon
AvTed Briscoe,Ann Copestakem. fl.
Häftad, Engelska, 2006
621 kr
Skickas inom 11-20 vardagar
The lexicon is now a major focus of research in computational linguistics and natural language processing (NLP), as more linguistic theories concentrate on the lexicon and as the acquisition of an adequate vocabulary has become the chief bottleneck in developing practical NLP systems. This collection describes techniques of lexical representation within a unification-based framework and their linguistic application, concentrating on the issue of structuring the lexicon using inheritance and defaults. Topics covered include typed feature structures, default unification, lexical rules, multiple inheritance and non-monotonic reasoning. The contributions describe both theoretical results and implemented languages and systems, including DATR, the Stuttgart TFS and ISSCO's ELU. This book arose out of a workshop on default inheritance in the lexicon organized as a part of the Esprit ACQUILEX project on computational lexicography. Besides the contributed papers mentioned above, it contains a detailed description of the ACQUILEX lexical knowledge base (LKB) system and its use in the representation of lexicons extracted semi-automatically from machine-readable dictionaries.
Inheritance, Defaults and the Lexicon
AvTed Briscoe,Ann Copestakem. fl.
Inbunden, Engelska, 1994
1 458 kr
Skickas inom 11-20 vardagar
The lexicon is now a major focus of research in computational linguistics and natural language processing (NLP), as more linguistic theories concentrate on the lexicon and as the acquisition of an adequate vocabulary has become the chief bottleneck in developing practical NLP systems. This collection describes techniques of lexical representation within a unification-based framework and their linguistic application, concentrating on the issue of structuring the lexicon using inheritance and defaults. Topics covered include typed feature structures, default unification, lexical rules, multiple inheritance and non-monotonic reasoning. The contributions describe both theoretical results and implemented languages and systems, including DATR, the Stuttgart TFS and ISSCO's ELU. This book arose out of a workshop on default inheritance in the lexicon organized as a part of the Esprit ACQUILEX project on computational lexicography. Besides the contributed papers mentioned above, it contains a detailed description of the ACQUILEX lexical knowledge base (LKB) system and its use in the representation of lexicons extracted semi-automatically from machine-readable dictionaries.
From Quirky Case to Representing Space
Papers in Honor of Annie Zaenen
AvTracy Holloway King,Valeria de Paiva
Häftad, Engelska, 2013
224 kr
Skickas inom 5-8 vardagar
Annie Zaenen's research has broadly influenced the field of linguistics, from the underlying architecture of formal theories to the minute details of lexical representation. This volume assembles a wide range of essays from linguists who have been profoundly influenced by Zaenen's work. Taking Zaenen as a model, the contributors explore a variety of topics, including the mapping of syntax onto argument and the relationship between syntax and semantics. From Quirky Case to Representing Space presents new research in linguistics, but also reasserts Zaenen's crucial role in the evolution of linguistic theory.
Linguistic Issues in Language Technology Vol 9
Perspectives on Semantic Representations for Textual Inference
AvAnnie Zaenen,Cleo Condoravdim. fl.
Häftad, Engelska, 2015
241 kr
Skickas inom 5-8 vardagar
Linguistic Issues in Language Technology focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data provides unprecedented opportunities for data-intensive analysis of linguistic phenomena, which can in turn enrich computational methods. Linguistic Issues in Language Technology provides a forum for this work. In this volume, contributors offer new perspectives on semantic representations for textual inference.
Intelligent Computer Mathematics
18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings
AvValeria de Paiva,Peter Koepke
Häftad, Engelska, 2025
1 371 kr
Skickas inom 5-8 vardagar
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.
Intelligent Computer Mathematics
18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
AvPeter Koepke,Valeria de Paiva
E-bok
Engelska, 2025
1 679 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
AvValeria de Paiva,Ruy de Queirozm. fl.
Häftad, Engelska, 2015
454 kr
Skickas inom 10-15 vardagar
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
AvAnjolina G. de Oliveira,Daniel Leivantm. fl.
E-bok
PDF, Engelska, 2015
569 kr
Läs direkt efter köp
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.
The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
AvLuiz Carlos Pereira,Edward Haeuslerm. fl.
Inbunden, Engelska, 2014
1 417 kr
Skickas inom 10-15 vardagar
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 to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.
Advances in Natural Deduction
A Celebration of Dag Prawitz''s Work
AvValeria de Paiva,Edward Haeuslerm. fl.
E-bok
PDF, Engelska, 2014
1 733 kr
Läs direkt efter köp
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 to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
AvLuiz Carlos Pereira,Edward Haeuslerm. fl.
Häftad, Engelska, 2016
1 417 kr
Skickas inom 10-15 vardagar
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 to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.

Företag, bibliotek eller offentlig verksamhet?

Valeria de Paiva – författare

Inheritance, Defaults and the Lexicon

Inheritance, Defaults and the Lexicon

From Quirky Case to Representing Space

Linguistic Issues in Language Technology Vol 9

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Advances in Natural Deduction

Advances in Natural Deduction

Advances in Natural Deduction

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration