Image de couverture de livre

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Spaans, Jeroen, Heyninck, Jesse
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Operator-based semantics for choice programs: is choosing losing? (full version)
par: Heyninck, Jesse
Publié: (2024)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
par: Heyninck, Jesse
Publié: (2024)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)

Semiring Provenance for Lightweight Description Logics
par: Bourgaux, Camille, et autres
Publié: (2023)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
par: Demri, Stéphane, et autres
Publié: (2026)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
par: Xu, Jianfeng, et autres
Publié: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
par: Azzolini, Damiano, et autres
Publié: (2025)

On the Trap Space Semantics of Normal Logic Programs
par: Trinh, Van-Giang, et autres
Publié: (2026)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
par: Li, Yitian, et autres
Publié: (2024)

Proceedings 40th International Conference on Logic Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
par: Purgał, Stanisław J., et autres
Publié: (2022)

Towards Constraint Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
par: Fandinno, Jorge, et autres
Publié: (2024)

On the Logical Content of Knowledge Bases
par: Gheorghiu, Alexader V., et autres
Publié: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
par: Heuer, Jan
Publié: (2023)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

BayesL: a Logical Framework for the Verification of Bayesian Networks
par: Nicoletti, Stefano M., et autres
Publié: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
par: Rahman, A M Muntasir, et autres
Publié: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
par: Eiter, Thomas, et autres
Publié: (2025)

ASP-Bench: From Natural Language to Logic Programs
par: Szeider, Stefan
Publié: (2026)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
par: Goertzel, Ben
Publié: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

A Logic of Uncertain Interpretation
par: Bjorndahl, Adam
Publié: (2025)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
par: Meli, Daniele, et autres
Publié: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Abstract Dialectical Frameworks are Boolean Networks (full version)
par: Heyninck, Jesse, et autres
Publié: (2024)

Multitask Kernel-based Learning with First-Order Logic Constraints
par: Diligenti, Michelangelo, et autres
Publié: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)