:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Zeng, Yankai
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Computation and Language
Acceso en línea:	https://arxiv.org/abs/2502.09237
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
por: Zeng, Yankai, et al.
Publicado: (2024)

ASP-Bench: From Natural Language to Logic Programs
por: Szeider, Stefan
Publicado: (2026)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
por: Santana, Manuel Alejandro Borroto, et al.
Publicado: (2026)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
por: Cuteri, Andrea, et al.
Publicado: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
por: Bourigault, Pauline, et al.
Publicado: (2026)

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

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
por: Mensfelt, Agnieszka, et al.
Publicado: (2024)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
por: Kneisel, Tristan, et al.
Publicado: (2026)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
por: Guzmán, Manuel Vargas, et al.
Publicado: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
por: Wang, Keyu, et al.
Publicado: (2024)

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

An ASP-Based Framework for MUSes
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Adjoint Natural Deduction (Extended Version)
por: Jang, Junyoung, et al.
Publicado: (2024)

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

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
por: Xu, Chen, et al.
Publicado: (2024)

An ASP-based approach to Solving General Stochastic Two-Player Games
por: He, Yifan, et al.
Publicado: (2026)

A Neurosymbolic Approach to Natural Language Formalization and Verification
por: Bayless, Sam, et al.
Publicado: (2025)

Towards Mass Spectrum Analysis with ASP
por: Küchenmeister, Nils, et al.
Publicado: (2025)

Direct Encoding of Declare Constraints in ASP
por: Chiariello, Francesco, et al.
Publicado: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
por: Carl, Merlin
Publicado: (2023)

Herald: A Natural Language Annotated Lean 4 Dataset
por: Gao, Guoxiong, et al.
Publicado: (2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
por: Brancas, Ricardo, et al.
Publicado: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
por: Yang, HuanYu, et al.
Publicado: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
por: Zhang, Xinglang, et al.
Publicado: (2026)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
por: Elad, Neta, et al.
Publicado: (2025)

The Functional Machine Calculus III: Control
por: Heijltjes, Willem
Publicado: (2025)

Structural Analysis of GRAFCET Control Specifications
por: Schnakenbeck, Aron, et al.
Publicado: (2023)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
por: Fandinno, Jorge, et al.
Publicado: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
por: Vozna, Alina, et al.
Publicado: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
por: Srbinovska, Anita, et al.
Publicado: (2026)

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

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

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
por: Lalwani, Abhinav, et al.
Publicado: (2024)

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
por: Bao, Qiming, et al.
Publicado: (2022)

On Quantum Programming Languages
por: Valiron, Benoît
Publicado: (2024)

Expressive Power of One-Shot Control Operators and Coroutines
por: Kobayashi, Kentaro, et al.
Publicado: (2025)

Bialgebraic Reasoning on Stateful Languages
por: Goncharov, Sergey, et al.
Publicado: (2025)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
por: Song, Zhuo-Yang
Publicado: (2025)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
por: Hanisch, Philipp, et al.
Publicado: (2026)