Image de couverture de livre

The logic behind desirable sets of things, and its filter representation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	de Cooman, Gert, Van Camp, Arthur, De Bock, Jasper
Format:	Preprint
Publié:	2023
Sujets:	Logic Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Conditioning Accept-Desirability models in the context of AGM-like belief change
par: Coussement, Kathelijne, et autres
Publié: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

A decision-theoretic approach to dealing with uncertainty in quantum mechanics
par: De Vos, Keano, et autres
Publié: (2025)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

On logic and generative AI
par: Gurevich, Yuri, et autres
Publié: (2024)

A minimal coalition logic
par: Li, Yinfeng, et autres
Publié: (2024)

A first-order logic characterization of safety and co-safety languages
par: Cimatti, Alessandro, et autres
Publié: (2022)

Neural logic programs and neural nets
par: Antić, Christian
Publié: (2024)

Learning big logical rules by joining small rules
par: Hocquette, Céline, et autres
Publié: (2024)

Equational definitions of logical filters
par: Baldi, Michele Pra, et autres
Publié: (2024)

A modal logic translation of the AGM axioms for belief revision
par: Bonanno, Giacomo
Publié: (2025)

Scaling the weight parameters in Markov logic networks and relational logistic regression models
par: Weitkämper, Felix
Publié: (2021)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
par: Van Kieu, Tuyen, et autres
Publié: (2026)

C-Causal Blindness
par: de Carvalho, Gonçalo Hora
Publié: (2022)

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

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Explainability-Driven Quality Assessment for Rule-Based Systems
par: Seneviratne, Oshani, 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)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

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

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Priestley-style duality for filter-distributive congruential logics
par: Esteban, María, et autres
Publié: (2020)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
par: Tudor, Alexis R., et autres
Publié: (2025)

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

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

Conditioning through indifference in quantum mechanics
par: De Vos, Keano, et autres
Publié: (2025)

Computational Dualism and Objective Superintelligence
par: Bennett, Michael Timothy
Publié: (2023)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
par: Collinson, Matthew, et autres
Publié: (2026)

On SCC-recursiveness in Quantitative Argumentation
par: Wang, Zongshun, et autres
Publié: (2020)

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
par: Wirth, Claus-Peter
Publié: (2011)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
par: Andrews, Uri, et autres
Publié: (2025)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
par: Bouke, Mohamed Aly
Publié: (2025)

Axiomatizing Rumsfeld Ignorance
par: Fan, Jie
Publié: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
par: Yoo, Harim
Publié: (2025)

Complexity in finitary argumentation (extended version)
par: Andrews, Uri, et autres
Publié: (2025)

Compression is all you need: Modeling Mathematics
par: Aksenov, Vitaly, et autres
Publié: (2026)

Rethinking Explanations: Formalizing Contrast in Description Logics
par: Mahmood, Yasir, et autres
Publié: (2026)

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