Buchumschlag

Weighted Rules under the Stable Model Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lee, Joohyung, Wang, Yi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
von: Patil, Jaikrishna Manojkumar, et al.
Veröffentlicht: (2025)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

A New Tractable Description Logic under Categorical Semantics
von: Duc, Chan Le, et al.
Veröffentlicht: (2025)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Explainability-Driven Quality Assessment for Rule-Based Systems
von: Seneviratne, Oshani, et al.
Veröffentlicht: (2025)

On Trustworthy Rule-Based Models and Explanations
von: Siala, Mohamed, et al.
Veröffentlicht: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
von: Köcher, Aljosha, et al.
Veröffentlicht: (2023)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
von: Pan, Yudai, et al.
Veröffentlicht: (2021)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
von: Cecconi, Alessio, et al.
Veröffentlicht: (2023)

Fuzzy Propositional Formulas under the Stable Model Semantics
von: Lee, Joohyung, et al.
Veröffentlicht: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

Evaluation and Comparison Semantics for ODRL
von: Salas, Jaime Osvaldo, et al.
Veröffentlicht: (2025)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
von: Ben-Naim, Jonathan, et al.
Veröffentlicht: (2024)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, et al.
Veröffentlicht: (2024)

Numerical Considerations in Weighted Model Counting
von: Bryant, Randal E.
Veröffentlicht: (2025)

Weak Permission is not Well-Founded, Grounded and Stable
von: Governatori, Guido
Veröffentlicht: (2024)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
von: Oudshoorn, Anouk, et al.
Veröffentlicht: (2025)

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

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
von: Danso, Priscilla Kyei, et al.
Veröffentlicht: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
von: Lee, Jeyoung, et al.
Veröffentlicht: (2025)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
von: Parent, Xavier
Veröffentlicht: (2026)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
von: Arisaka, Ryuta
Veröffentlicht: (2024)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
von: Lee, Jihwan, et al.
Veröffentlicht: (2024)

Feasibility Preservation under Monotone Retrieval Truncation
von: Plummer, Sean
Veröffentlicht: (2026)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
von: Akshay, S., et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Faster Lifting for Ordered Domains with Predecessor Relations
von: Zou, Kuncheng, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)