Imagen de Portada

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Rose, Samuel, Kambhampati, Chandrasekhar
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
por: Alkhairy, Maha, et al.
Publicado: (2025)

Positive First-order Logic on Words and Graphs
por: Kuperberg, Denis
Publicado: (2022)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
por: Barloy, Corentin, et al.
Publicado: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
por: Lucas, Salvador
Publicado: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
por: Kappé, Tobias, et al.
Publicado: (2023)

Making first order linear logic a generating grammar
por: Slavnov, Sergey
Publicado: (2022)

Answer Set Counting and its Applications
por: Kabir, Mohimenul
Publicado: (2025)

KOS-TL (Knowledge Operation System Type Logic)
por: Chen, Peng
Publicado: (2026)

A Formally Verified Procedure for Width Inference in FIRRTL
por: Wang, Keyin, et al.
Publicado: (2026)

Parikh Automata on Finite and Infinite Words
por: Grobler, Mario, et al.
Publicado: (2023)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
por: Olges, Garrett, et al.
Publicado: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
por: Klinkenberg, Lutz, et al.
Publicado: (2023)

Synthesis of Computable Regular Functions of Infinite Words
por: Dave, V., et al.
Publicado: (2019)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
por: Sartor, Galileo, et al.
Publicado: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
por: Rustenholz, Louis, et al.
Publicado: (2024)

A Logic of "Black Box" Classifier Systems
por: Liu, Xinghan, et al.
Publicado: (2022)

An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders
por: Mir, Arnau, et al.
Publicado: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
por: Teuber, Samuel, et al.
Publicado: (2025)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
por: Filiot, Emmanuel, et al.
Publicado: (2021)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
por: Guha, Shibashis, et al.
Publicado: (2026)

Orthologic Type Systems
por: Guilloud, Simon, et al.
Publicado: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
por: Casetta, Richard, et al.
Publicado: (2026)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
por: Tang, Xichen
Publicado: (2025)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
por: McPheat, Lachlan, et al.
Publicado: (2020)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
por: Castagna, Giuseppe, et al.
Publicado: (2024)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

Basic interactive algorithms: Preview
por: Gurevich, Yuri
Publicado: (2025)

An Enumerative Embedding of the Python Type System in ACL2s
por: Xifaras, Samuel, et al.
Publicado: (2025)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2024)

A formalization of System I with type Top in Agda
por: Séttimo, Agustín, et al.
Publicado: (2026)

Fuzzy Aristotelian Diagrams
por: Syropoulos, Apostolos
Publicado: (2024)

A Type System for Data Flow and Alias Analysis in ReScript
por: Lund, Nicky Ask, et al.
Publicado: (2024)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
por: Kifer, Michael, et al.
Publicado: (2026)

Classifying covering types in homotopy type theory
por: Mimram, Samuel, et al.
Publicado: (2025)

MedLogic-AQA: Enhancing Medical Question Answering with Abstractive Models Focusing on Logical Structures
por: Zafar, Aizan, et al.
Publicado: (2024)

Two Cases of Deduction with Non-referring Descriptions
por: Raclavský, Jiří
Publicado: (2024)

Encoding call-by-push-value in the pi-calculus
por: Bennetzen, Benjamin, et al.
Publicado: (2025)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
por: Li, Jinzheng, et al.
Publicado: (2026)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
por: Joosten, Joost J., et al.
Publicado: (2026)