Copertina

Order-theoretic models for decision-making: Learning, optimization, complexity and computation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Hack, Pedro
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Information Theory Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Countability constraints in order-theoretic approaches to computability
di: Hack, Pedro, et al.
Pubblicazione: (2022)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
di: Xu, Jianfeng, et al.
Pubblicazione: (2025)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
di: Mendez-Lucero, Miguel Angel, et al.
Pubblicazione: (2024)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
di: Xu, Jianfeng
Pubblicazione: (2026)

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

Learning to Rank the Initial Branching Order of SAT Solvers
di: Eriksson, Arvid, et al.
Pubblicazione: (2026)

Automatically discovering heuristics in a complex SAT solver with large language models
di: Sun, Yiwen, et al.
Pubblicazione: (2025)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
di: Ardon, Leo, et al.
Pubblicazione: (2024)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
di: Park, Young Bin
Pubblicazione: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
di: Pan, Yudai, et al.
Pubblicazione: (2021)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
di: Rodler, Patrick
Pubblicazione: (2022)

Towards Practical First-Order Model Counting
di: Kidambi, Ananth K., et al.
Pubblicazione: (2025)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
di: Caminati, Marco B.
Pubblicazione: (2024)

Systemic Constraints of Undecidability
di: Bulin, Seth
Pubblicazione: (2025)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
di: Hofmann, Till, et al.
Pubblicazione: (2024)

Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
di: Anders, Markus, et al.
Pubblicazione: (2025)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
di: Allemang, Dean, et al.
Pubblicazione: (2024)

Ontological foundations for contrastive explanatory narration of robot plans
di: Olivares-Alarcos, Alberto, et al.
Pubblicazione: (2025)

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
di: Grover, Kush, et al.
Pubblicazione: (2026)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
di: Fidan, Müge, et al.
Pubblicazione: (2025)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
di: Yan, Rui, et al.
Pubblicazione: (2022)

State Definition for Conflict Analysis with Four-valued Logic
di: Kato, Yukiko
Pubblicazione: (2022)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
di: Lutz, Carsten, et al.
Pubblicazione: (2024)

VeriFact: Verifying Facts in LLM-Generated Clinical Text with Electronic Health Records
di: Chung, Philip, et al.
Pubblicazione: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
di: Arisaka, Ryuta
Pubblicazione: (2024)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
di: Izumo, Takashi
Pubblicazione: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

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

Learning Concepts Definable in First-Order Logic with Counting
di: van Bergerem, Steffen
Pubblicazione: (2019)

The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
di: Sarkar, Aritra
Pubblicazione: (2020)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
di: Feller, Thomas, et al.
Pubblicazione: (2023)

Large language models as oracles for instantiating ontologies with domain-specific knowledge
di: Ciatto, Giovanni, et al.
Pubblicazione: (2024)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
di: David, Victor, et al.
Pubblicazione: (2026)

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

Multitask Kernel-based Learning with First-Order Logic Constraints
di: Diligenti, Michelangelo, et al.
Pubblicazione: (2023)

Lifted Inference beyond First-Order Logic
di: Malhotra, Sagar, et al.
Pubblicazione: (2023)

Rate-Distortion Theory for Deductive Sources under Closure Fidelity
di: Xu, Jianfeng
Pubblicazione: (2026)

Towards a Unification of Logic and Information Theory
di: Lastras, Luis A., et al.
Pubblicazione: (2023)