Image de couverture de livre

On logic and generative AI

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gurevich, Yuri, Blass, Andreas
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

What are kets?
par: Gurevich, Yuri, et autres
Publié: (2024)

Exact Exploration
par: Blass, Andreas, et autres
Publié: (2024)

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

Basic interactive algorithms: Preview
par: Gurevich, Yuri
Publié: (2025)

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

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

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

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

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
par: Florath, Andreas
Publié: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

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

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

AI Space Physics: Constitutive boundary semantics for open AI institutions
par: Romanchuk, Oleg, et autres
Publié: (2026)

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

Reasoning in Neurosymbolic AI
par: Tran, Son, et autres
Publié: (2025)

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

Similarity-based analogical proportions
par: Antić, Christian
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)

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

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
par: Keyi, Hu
Publié: (2025)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
par: Hamilton, Kyle, et autres
Publié: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
par: Majkic, Zoran
Publié: (2026)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
par: Švancár, Slavomír, et autres
Publié: (2024)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
par: Kim, Chang-Eop
Publié: (2024)

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

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
par: Guasch, Antoni, et autres
Publié: (2025)

Ethical Hyper-Velocity (EHV): A Hardware-Rooted Zero-Trust Runtime Enforcement Architecture for Agentic AI Systems
par: Sharma, Riddhi Mohan
Publié: (2026)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

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

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

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

CoqPilot, a plugin for LLM-based generation of proofs
par: Kozyrev, Andrei, et autres
Publié: (2024)

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

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
par: Hoorn, Johan F., et autres
Publié: (2023)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
par: Mendez-Lucero, Miguel Angel, et autres
Publié: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Formal Explanations for Neuro-Symbolic AI
par: Paul, Sushmita, et autres
Publié: (2024)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)