Buchumschlag

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Coumes, Simon, Paris, Pierre-Henri, Schwarzentruber, François, Suchanek, Fabian
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

MAFALDA: A Benchmark and Comprehensive Study of Fallacy Detection and Classification
von: Helwe, Chadi, et al.
Veröffentlicht: (2023)

YAGO 4.5: A Large and Clean Knowledge Base with a Rich Taxonomy
von: Suchanek, Fabian, et al.
Veröffentlicht: (2023)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
von: Nunn, Pierre, et al.
Veröffentlicht: (2024)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
von: Ghosh, Avijeet, et al.
Veröffentlicht: (2025)

BELLA: Black box model Explanations by Local Linear Approximations
von: Radulovic, Nedeljko, et al.
Veröffentlicht: (2023)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)

FLORA: Unsupervised Knowledge Graph Alignment by Fuzzy Logic
von: Peng, Yiwen, et al.
Veröffentlicht: (2025)

Neurosymbolic Methods for Dynamic Knowledge Graphs
von: Alam, Mehwish, et al.
Veröffentlicht: (2024)

LELA: An End-to-end LLM-based Entity Linking Framework with Zero-shot Domain Adaptation
von: Haffoudhi, Samy, et al.
Veröffentlicht: (2026)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
von: Chernobrovkin, Artem, et al.
Veröffentlicht: (2025)

Exact Regular-Constrained Variable-Order Markov Generation via Sparse Context-State Belief Propagation
von: Pachet, François
Veröffentlicht: (2026)

First-Order Representation Languages for Goal-Conditioned RL
von: Ståhlberg, Simon, et al.
Veröffentlicht: (2025)

Solving Quantified Boolean Formulas with Few Existential Variables
von: Eriksson, Leif, et al.
Veröffentlicht: (2024)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
von: Foldvik, Simon
Veröffentlicht: (2026)

A Repository for Formal Contexts
von: Hanika, Tom, et al.
Veröffentlicht: (2024)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
von: Olson, Taylor
Veröffentlicht: (2026)

A Question on the Explainability of Large Language Models and the Word-Level Univariate First-Order Plausibility Assumption
von: Bogaert, Jeremie, et al.
Veröffentlicht: (2024)

Saarthi: The First AI Formal Verification Engineer
von: Kumar, Aman, et al.
Veröffentlicht: (2025)

Retrieval-Constrained Decoding Reveals Underestimated Parametric Knowledge in Language Models
von: Hamdani, Rajaa El, et al.
Veröffentlicht: (2025)

Lecture Notes on Verifying Graph Neural Networks
von: Schwarzentruber, François
Veröffentlicht: (2025)

The Factuality of Large Language Models in the Legal Domain
von: Hamdani, Rajaa El, et al.
Veröffentlicht: (2024)

Formula-R1: Incentivizing LLM Reasoning over Complex Tables with Numerical Computation via Formula-Driven Reinforcement Learning
von: Cao, Lang, et al.
Veröffentlicht: (2025)

Automatic Textbook Formalization
von: Gloeckle, Fabian, et al.
Veröffentlicht: (2026)

On Dynamic Programming Theory for Leader-Follower Stochastic Games
von: Dibangoye, Jilles Steeve, et al.
Veröffentlicht: (2025)

Quantifying Multimodal Capabilities: Formal Generalization Guarantees in Pairwise Metric Learning
von: Zhou, Richeng, et al.
Veröffentlicht: (2026)

A Framework for Quantifying How Pre-Training and Context Benefit In-Context Learning
von: Song, Bingqing, et al.
Veröffentlicht: (2025)

Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
von: Rahmani, Hazhar, et al.
Veröffentlicht: (2025)

Formalizing Mathematics at Scale
von: Rammal, Ahmad, et al.
Veröffentlicht: (2026)

Learning to Ground Existentially Quantified Goals
von: Funkquist, Martin, et al.
Veröffentlicht: (2024)

Quantifying First-Order Markov Violations in Noisy Reinforcement Learning: A Causal Discovery Approach
von: Mysore, Naveen
Veröffentlicht: (2025)

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
von: Lv, Kunhang, et al.
Veröffentlicht: (2026)

Quantifying Laziness, Decoding Suboptimality, and Context Degradation in Large Language Models
von: Ma, Yiqing, et al.
Veröffentlicht: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
von: Aria, Hadi Partovi, et al.
Veröffentlicht: (2026)

On the Size Complexity and Decidability of First-Order Progression
von: Classen, Jens, et al.
Veröffentlicht: (2026)

Quantifying Memory Use in Reinforcement Learning with Temporal Range
von: Lafuente-Mercado, Rodney, et al.
Veröffentlicht: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

Hidden Biases in Conditioning Autoregressive Models
von: Pachet, Francois, et al.
Veröffentlicht: (2026)

Deep Generative Prior for First Order Inverse Optimization
von: Yang, Haoyu, et al.
Veröffentlicht: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

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