Image de couverture de livre

You-Only-Randomize-Once: Shaping Statistical Properties in Constraint-based PCG

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Katz, Jediah, Bateni, Bahar, Smith, Adam M.
Format:	Preprint
Publié:	2024
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

Neural Network Verification using Partial Multi-Neuron Relaxation
par: Shmuel, Ido, et autres
Publié: (2026)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
par: Molick, Sanderson, et autres
Publié: (2026)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
par: Gonzalez, Salwa Tabet, et autres
Publié: (2024)

Incremental Neural Network Verification via Learned Conflicts
par: Elsaleh, Raya, et autres
Publié: (2026)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
par: Case, Denise M.
Publié: (2026)

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

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
par: Koopmann, Patrick, et autres
Publié: (2025)

Direct Encoding of Declare Constraints in ASP
par: Chiariello, Francesco, et autres
Publié: (2024)

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

Abstraction-Based Proof Production in Formal Verification of Neural Networks
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

Can LLM Aid in Solving Constraints with Inductive Definitions?
par: Feng, Weizhi, et autres
Publié: (2026)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
par: Fandinno, Jorge, et autres
Publié: (2026)

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

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
par: Seifer, Philipp, et autres
Publié: (2024)

Multi-Property Synthesis
par: Weinhuber, Christoph, et autres
Publié: (2026)

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

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
par: Cantale, Claudia, et autres
Publié: (2017)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

Systemic Constraints of Undecidability
par: Bulin, Seth
Publié: (2025)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
par: Bienvenu, Meghyn, et autres
Publié: (2023)

Knowledge Base Embeddings: Semantics and Theoretical Properties
par: Bourgaux, Camille, et autres
Publié: (2024)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

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

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
par: Liu, Chanjuan, et autres
Publié: (2024)

RoboCertProb: Property Specification for Probabilistic RoboChart Models
par: Ye, Kangfeng, et autres
Publié: (2024)

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

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
par: Akshay, S., et autres
Publié: (2024)

Capabilities: An Ontology
par: Beverley, John, et autres
Publié: (2024)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
par: Pant, Sangeeta, et autres
Publié: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
par: Erascu, Madalina, et autres
Publié: (2026)

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

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

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)

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

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

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
par: Tremante, Andrew, et autres
Publié: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
par: Defresne, Marianne, et autres
Publié: (2025)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
par: Li, Jinzhao, et autres
Publié: (2023)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)