:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zeng, Yankai
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Computation and Language
Online-Zugang:	https://arxiv.org/abs/2502.09237
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

ASP-Bench: From Natural Language to Logic Programs
von: Szeider, Stefan
Veröffentlicht: (2026)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
von: Santana, Manuel Alejandro Borroto, et al.
Veröffentlicht: (2026)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
von: Cuteri, Andrea, et al.
Veröffentlicht: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
von: Bourigault, Pauline, et al.
Veröffentlicht: (2026)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
von: Joosten, Joost J., et al.
Veröffentlicht: (2026)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
von: Mensfelt, Agnieszka, et al.
Veröffentlicht: (2024)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
von: Kneisel, Tristan, et al.
Veröffentlicht: (2026)

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

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
von: Wang, Keyu, et al.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Adjoint Natural Deduction (Extended Version)
von: Jang, Junyoung, et al.
Veröffentlicht: (2024)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
von: Xu, Chen, et al.
Veröffentlicht: (2024)

An ASP-based approach to Solving General Stochastic Two-Player Games
von: He, Yifan, et al.
Veröffentlicht: (2026)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

Towards Mass Spectrum Analysis with ASP
von: Küchenmeister, Nils, et al.
Veröffentlicht: (2025)

Direct Encoding of Declare Constraints in ASP
von: Chiariello, Francesco, et al.
Veröffentlicht: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
von: Carl, Merlin
Veröffentlicht: (2023)

Herald: A Natural Language Annotated Lean 4 Dataset
von: Gao, Guoxiong, et al.
Veröffentlicht: (2024)

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

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

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

The Functional Machine Calculus III: Control
von: Heijltjes, Willem
Veröffentlicht: (2025)

Structural Analysis of GRAFCET Control Specifications
von: Schnakenbeck, Aron, et al.
Veröffentlicht: (2023)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)

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

Basic interactive algorithms: Preview
von: Gurevich, Yuri
Veröffentlicht: (2025)

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

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

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

On Quantum Programming Languages
von: Valiron, Benoît
Veröffentlicht: (2024)

Expressive Power of One-Shot Control Operators and Coroutines
von: Kobayashi, Kentaro, et al.
Veröffentlicht: (2025)

Bialgebraic Reasoning on Stateful Languages
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Where to Search: Measure the Prior-Structured Search Space of LLM Agents
von: Song, Zhuo-Yang
Veröffentlicht: (2025)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
von: Hanisch, Philipp, et al.
Veröffentlicht: (2026)