Información del autor
Autor Pacuit, Eric |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : At the Intersection of Language, Logic, and Information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers / Tipo de documento: documento electrónico Autores: Sikos, Jennifer, ; Pacuit, Eric, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 225 p. 72 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-59620-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: TeorÃa de las máquinas Sistemas expertos (Informática) Procesamiento del lenguaje natural (Informática) Sistemas de almacenamiento y recuperación de información. Lenguajes formales y teorÃa de los autómatas Sistemas basados ​​en el conocimiento Procesamiento del lenguaje natural (PNL) Almacenamiento y recuperación de información Clasificación: 5.131 Resumen: La Escuela Europea de Verano en Lógica, Lenguaje e Información (ESSLLI) la organiza cada año la Asociación de Lógica, Lenguaje e Información (FoLLI) en diferentes lugares de Europa. Los artÃculos cubren temas muy diferentes, pero cada uno de ellos se encuentra en la intersección de los tres temas principales de ESSLLI: Lógica, Lenguaje y Computación. Los 14 trabajos presentados en este volumen han sido seleccionados entre 24 trabajos presentados mediante charlas o carteles en las Student Sessions de la 30ª edición de ESSLLI, celebrada en 2018 en SofÃa, Bulgaria. La Student Session es un foro para que estudiantes de doctorado y maestrÃa presenten sus investigaciones en las interfaces de la lógica, el lenguaje y la computación. Cuenta con tres pistas: Lógica y Computación (LoCo), Lógica y Lenguaje (LoLa) y Lenguaje y Computación (LaCo). Nota de contenido: Simulating the No Alternatives Argument in a Social Setting -- Readings of Plurals and Common Ground -- Towards an analysis of the agent-oriented manner verb sorgfältig ('carefully') -- Social Choice and the Problem of Recommending Essential Readings -- Towards a 2-Multiple Context-Free Grammar for the 3-dimensional Dyck Language -- Compositionality in Privative Adjectives: Extending Dual Content Semantics -- Definiteness with Bare Nouns in Shan -- The challenge of metafictional anaphora -- Rule-based reasoners in epistemic logic -- Free Relatives, Feature Recycling, and Reprojection in Minimalist Grammars -- Playing with Information Source -- Disjunction under Deontic Modals: Experimental Data -- "First Things First": an Inquisitive Plausability-Urgency Model -- Interpreting Intensifiers for Relative Adjectives: Comparing Models and Theories. . Tipo de medio : Computadora Summary : The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] At the Intersection of Language, Logic, and Information : ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers / [documento electrónico] / Sikos, Jennifer, ; Pacuit, Eric, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - VIII, 225 p. 72 ilustraciones, 16 ilustraciones en color.
ISBN : 978-3-662-59620-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: TeorÃa de las máquinas Sistemas expertos (Informática) Procesamiento del lenguaje natural (Informática) Sistemas de almacenamiento y recuperación de información. Lenguajes formales y teorÃa de los autómatas Sistemas basados ​​en el conocimiento Procesamiento del lenguaje natural (PNL) Almacenamiento y recuperación de información Clasificación: 5.131 Resumen: La Escuela Europea de Verano en Lógica, Lenguaje e Información (ESSLLI) la organiza cada año la Asociación de Lógica, Lenguaje e Información (FoLLI) en diferentes lugares de Europa. Los artÃculos cubren temas muy diferentes, pero cada uno de ellos se encuentra en la intersección de los tres temas principales de ESSLLI: Lógica, Lenguaje y Computación. Los 14 trabajos presentados en este volumen han sido seleccionados entre 24 trabajos presentados mediante charlas o carteles en las Student Sessions de la 30ª edición de ESSLLI, celebrada en 2018 en SofÃa, Bulgaria. La Student Session es un foro para que estudiantes de doctorado y maestrÃa presenten sus investigaciones en las interfaces de la lógica, el lenguaje y la computación. Cuenta con tres pistas: Lógica y Computación (LoCo), Lógica y Lenguaje (LoLa) y Lenguaje y Computación (LaCo). Nota de contenido: Simulating the No Alternatives Argument in a Social Setting -- Readings of Plurals and Common Ground -- Towards an analysis of the agent-oriented manner verb sorgfältig ('carefully') -- Social Choice and the Problem of Recommending Essential Readings -- Towards a 2-Multiple Context-Free Grammar for the 3-dimensional Dyck Language -- Compositionality in Privative Adjectives: Extending Dual Content Semantics -- Definiteness with Bare Nouns in Shan -- The challenge of metafictional anaphora -- Rule-based reasoners in epistemic logic -- Free Relatives, Feature Recycling, and Reprojection in Minimalist Grammars -- Playing with Information Source -- Disjunction under Deontic Modals: Experimental Data -- "First Things First": an Inquisitive Plausability-Urgency Model -- Interpreting Intensifiers for Relative Adjectives: Comparing Models and Theories. . Tipo de medio : Computadora Summary : The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Neighborhood Semantics for Modal Logic Tipo de documento: documento electrónico Autores: Pacuit, Eric, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 154 p. 17 ilustraciones ISBN/ISSN/DL: 978-3-319-67149-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica Informática Lógica matemática Matemáticas de ingenierÃa IngenierÃa Ciencias de la Computación Matemáticas de la Computación Lógica Matemática y Fundamentos Aplicaciones de ingenierÃa matemática y computacional Lógica informática y fundamentos de la programación. Clasificación: 160 Lógica Resumen: Este libro ofrece una introducción de vanguardia a las técnicas básicas y los resultados de la semántica de vecindad para la lógica modal. Además de presentar los antecedentes técnicos relevantes, destaca tanto los peligros como los usos potenciales de los modelos de vecindad, una clase interesante de estructuras matemáticas que se introdujeron originalmente para proporcionar una semántica para sistemas débiles de lógica modal (los llamados no-modelos). lógicas modales normales). Además, el libro analiza una amplia gama de temas, incluidos resultados de lógica modal estándar (es decir, integridad, decidibilidad y definibilidad); bisimulaciones para modelos de vecindad y otras construcciones teóricas de modelos; comparaciones con otras semánticas para la lógica modal (por ejemplo, modelos relacionales, modelos topológicos, modelos de plausibilidad); semántica de vecindad para lógica modal de primer orden, aplicaciones en teorÃa de juegos (lógica de coalición y lógica de juegos); aplicaciones en lógica epistémica (lógica de la evidencia y la creencia); y lógicas modales no normales con modalidades dinámicas. El libro se puede utilizar como texto principal para seminarios sobre lógica filosófica centrados en lógicas modales no normales; como texto complementario para cursos sobre lógica modal, lógica en IA o lógica filosófica (ya sea a nivel de pregrado o posgrado); o como fuente principal para investigadores interesados ​​en aprender sobre los usos de la semántica de vecindad en lógica filosófica y teorÃa de juegos. Nota de contenido: Introduction and Motivation -- Subset Spaces -- Language and Semantics -- Why Non-Normal Modal Logic? -- Core Theory -- Richer Languages. Tipo de medio : Computadora Summary : This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models Ѐ“ an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics). In addition, the book discusses a broad range of topics, including standard modal logic results (i.e., completeness, decidability and definability); bisimulations for neighborhood models and other model-theoretic constructions; comparisons with other semantics for modal logic (e.g., relational models, topological models, plausibility models); neighborhood semantics for first-order modal logic, applications in game theory (coalitional logic and game logic); applications in epistemic logic (logics of evidence and belief); and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level); or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Neighborhood Semantics for Modal Logic [documento electrónico] / Pacuit, Eric, . - 1 ed. . - [s.l.] : Springer, 2017 . - XII, 154 p. 17 ilustraciones.
ISBN : 978-3-319-67149-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Lógica Informática Lógica matemática Matemáticas de ingenierÃa IngenierÃa Ciencias de la Computación Matemáticas de la Computación Lógica Matemática y Fundamentos Aplicaciones de ingenierÃa matemática y computacional Lógica informática y fundamentos de la programación. Clasificación: 160 Lógica Resumen: Este libro ofrece una introducción de vanguardia a las técnicas básicas y los resultados de la semántica de vecindad para la lógica modal. Además de presentar los antecedentes técnicos relevantes, destaca tanto los peligros como los usos potenciales de los modelos de vecindad, una clase interesante de estructuras matemáticas que se introdujeron originalmente para proporcionar una semántica para sistemas débiles de lógica modal (los llamados no-modelos). lógicas modales normales). Además, el libro analiza una amplia gama de temas, incluidos resultados de lógica modal estándar (es decir, integridad, decidibilidad y definibilidad); bisimulaciones para modelos de vecindad y otras construcciones teóricas de modelos; comparaciones con otras semánticas para la lógica modal (por ejemplo, modelos relacionales, modelos topológicos, modelos de plausibilidad); semántica de vecindad para lógica modal de primer orden, aplicaciones en teorÃa de juegos (lógica de coalición y lógica de juegos); aplicaciones en lógica epistémica (lógica de la evidencia y la creencia); y lógicas modales no normales con modalidades dinámicas. El libro se puede utilizar como texto principal para seminarios sobre lógica filosófica centrados en lógicas modales no normales; como texto complementario para cursos sobre lógica modal, lógica en IA o lógica filosófica (ya sea a nivel de pregrado o posgrado); o como fuente principal para investigadores interesados ​​en aprender sobre los usos de la semántica de vecindad en lógica filosófica y teorÃa de juegos. Nota de contenido: Introduction and Motivation -- Subset Spaces -- Language and Semantics -- Why Non-Normal Modal Logic? -- Core Theory -- Richer Languages. Tipo de medio : Computadora Summary : This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models Ѐ“ an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic (the so-called non-normal modal logics). In addition, the book discusses a broad range of topics, including standard modal logic results (i.e., completeness, decidability and definability); bisimulations for neighborhood models and other model-theoretic constructions; comparisons with other semantics for modal logic (e.g., relational models, topological models, plausibility models); neighborhood semantics for first-order modal logic, applications in game theory (coalitional logic and game logic); applications in epistemic logic (logics of evidence and belief); and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic (either at the undergraduate or graduate level); or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
