:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Olson, Taylor
Format:	Preprint
Publié:	2026
Sujets:	Artificial Intelligence Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2604.14254
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Deontic Temporal Logic for Formal Verification of AI Ethics
par: V., Priya T., et autres
Publié: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
par: Bourgaux, Camille, et autres
Publié: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
par: Aria, Hadi Partovi, et autres
Publié: (2026)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
par: Sehgal, Sanskar, et autres
Publié: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
par: Zhang, Yani, et autres
Publié: (2024)

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

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
par: Itoh, Kei
Publié: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

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

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

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
par: Horner, Elias, et autres
Publié: (2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
par: Wei, Anjiang, et autres
Publié: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

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

On Formally Undecidable Traits of Intelligent Machines
par: Fox, Matthew
Publié: (2024)

Formally Certified Approximate Model Counting
par: Tan, Yong Kiam, et autres
Publié: (2024)

Rational Inference in Formal Concept Analysis
par: Carr, Lucas, et autres
Publié: (2025)

Formally Verified Approximate Policy Iteration
par: Schäffeler, Maximilian, et autres
Publié: (2024)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

Learning Formal Mathematics From Intrinsic Motivation
par: Poesia, Gabriel, et autres
Publié: (2024)

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

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Logical foundations of Smart Contracts
par: Kalala, Kalonji
Publié: (2025)

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

Existential Notation3 Logic
par: Arndt, Dörthe, 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)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
par: Wang, David, et autres
Publié: (2025)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Logical Characterizations of GNNs with Mean Aggregation
par: Schönherr, Moritz, et autres
Publié: (2025)

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

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

Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
par: Ospanov, Azim, et autres
Publié: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
par: Nikooroo, Saleh, et autres
Publié: (2025)

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

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
par: Yousefzadeh, Roozbeh, et autres
Publié: (2025)