Cover Image

Fuzzy Propositional Formulas under the Stable Model Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lee, Joohyung, Wang, Yi
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
by: Bartholomew, Michael, et al.
Published: (2026)

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions
by: Ishay, Adam, et al.
Published: (2025)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)

Action Language BC+
by: Babb, Joseph, et al.
Published: (2025)

LPMLN, Weak Constraints, and P-log
by: Lee, Joohyung, et al.
Published: (2025)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
by: Ishay, Adam, et al.
Published: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

Semantic Fusion with Fuzzy-Membership Features for Controllable Language Modelling
by: Huang, Yongchao, et al.
Published: (2025)

Pathwise Explanation of ReLU Neural Networks
by: Lim, Seongwoo, et al.
Published: (2025)

Propositional Interpretability in Artificial Intelligence
by: Chalmers, David J.
Published: (2025)

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering
by: Ishay, Adam, et al.
Published: (2025)

Mitigating Resolution-Drift in Federated Learning: Case of Keypoint Detection
by: Lim, Taeheon, et al.
Published: (2025)

A Data-Transparent Probabilistic Model of Temporal Propositional Abstraction
by: Kido, Hiroyuki
Published: (2023)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)

HyST: LLM-Powered Hybrid Retrieval over Semi-Structured Tabular Data
by: Myung, Jiyoon, et al.
Published: (2025)

Optimal Take-off under Fuzzy Clearances
by: Henry, Hugo, et al.
Published: (2026)

Efficient Technical Term Translation: A Knowledge Distillation Approach for Parenthetical Terminology Translation
by: Myung, Jiyoon, et al.
Published: (2024)

Federated Learning-Enabled Hybrid Language Models for Communication-Efficient Token Transmission
by: Solat, Faranaksadat, et al.
Published: (2025)

Towards Propositional KLM-Style Defeasible Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2024)

Exploring the Privacy-Energy Consumption Tradeoff for Split Federated Learning
by: Lee, Joohyung, et al.
Published: (2023)

Fuzzy Categorical Planning: Autonomous Goal Satisfaction with Graded Semantic Constraints
by: Qu, Shuhui
Published: (2026)

Text Semantics to Flexible Design: A Residential Layout Generation Method Based on Stable Diffusion Model
by: Qiu, Zijin, et al.
Published: (2025)

Semantic F1 Scores: Fair Evaluation Under Fuzzy Class Boundaries
by: Chochlakis, Georgios, et al.
Published: (2025)

Can Broad Biomedical Knowledge be Contextualized into Scenario-Grounded Propositions?
by: Zeng, Qingyuan, et al.
Published: (2026)

Decomate: Leveraging Generative Models for Co-Creative SVG Animation
by: Park, Jihyeon, et al.
Published: (2025)

PropRAG: Guiding Retrieval with Beam Search over Proposition Paths
by: Wang, Jingjin, et al.
Published: (2025)

Propositional Logic for Probing Generalization in Neural Networks
by: Langedijk, Anna, et al.
Published: (2025)

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

AgentLens: Adaptive Visual Modalities for Human-Agent Interaction in Mobile GUI Agents
by: Kim, Jeonghyeon, et al.
Published: (2026)

Analytica: Soft Propositional Reasoning for Robust and Scalable LLM-Driven Analysis
by: Cheng, Junyan, et al.
Published: (2026)

Towards a Mechanistic Understanding of Propositional Logical Reasoning in Large Language Models
by: Chen, Danchun, et al.
Published: (2026)

Leveraging Large Language Models for Fuzzy String Matching in Political Science
by: Wang, Yu
Published: (2024)

Proposition of Affordance-Driven Environment Recognition Framework Using Symbol Networks in Large Language Models
by: Arii, Kazuma, et al.
Published: (2025)

AI-Generated Content in Cross-Domain Applications: Research Trends, Challenges and Propositions
by: Li, Jianxin, et al.
Published: (2025)

How Can Incentives and Cut Layer Selection Influence Data Contribution in Split Federated Learning?
by: Lee, Joohyung, et al.
Published: (2024)

PP-FormulaNet: Bridging Accuracy and Efficiency in Advanced Formula Recognition
by: Liu, Hongen, et al.
Published: (2025)

Editing Arbitrary Propositions in LLMs without Subject Labels
by: Feigenbaum, Itai, et al.
Published: (2024)

On the Granular Representation of Fuzzy Quantifier-Based Fuzzy Rough Sets
by: Theerens, Adnan, et al.
Published: (2023)